Assertion: sphere's surface | /r/HasProperty | a disjoint union of three sets
Facets:
Source sentences:
text: Banach and Tarski's proof relied on an analogous fact discovered by Hausdorff some years earlier: the surface of a unit sphere in space is a disjoint union of three sets B, C, D and a countable set E such that, on the one hand, B, C, D are pairwise congruent, and on the other hand, B is congruent with the union of C and D.