Banach-Tarski Paradox/Lemma 1

Relation Definition
$\approx$ is an equivalence relation.