Assertion: solid | /r/HasProperty | compact sets
Facets:
Source sentences:
text: Any X ⊂ ℝ3 can be turned into a closed regular set or regularized by taking the closure of its interior, and thus the modeling space of solids is mathematically defined to be the space of closed regular subsets of ℝ3 (by the Heine-Borel theorem it is implied that all solids are compact sets).