Banach-Tarski Paradox/Lemmata

Relation Definition
Then the following lemmata hold: