A combinatorial condition on infinite subsets of infinite groups