Assertion: set | /r/HasProperty | equinumerous
Facets:
value: in any model of set theory
type: OTHER
Source sentences:
text: So these sets are equinumerous in any model of set theory that includes them.