Paradoxical group action
= Paradoxical group action
A $G$-set $X$ is paradoxical when it contains two disjoint subsets each $G$-equidecomposable with $X$. An invariant finitely additive probability measure rules out such a decomposition, because it would assign each copy the full measure of $X$.