Banach-Tarski Paradox/Lemma 3

Relation Definition
Let $X_1 \subseteq Y \subseteq X$.

Let$X \approx X_1$.

Then:
 * $X \approx Y$