Assertion: expression's number | /r/HasProperty | set theory
Facets:
Source sentences:
text: all numbers considered set theory 𝕌 means "the set of all elements being considered.