Def of Paradoxical:
G acts on X, E is subset of X.
E is G-paradoxical if there exists pairwise disjoin sets A1, ... , An, B1,..., Bm inside E and g1,...,gn, h1,...,hm inside G with E=(union)(Ai)=(union)(Bj).
If X is metric space and G acts by isometries, and we have A's, B's, g's, and h's...