Assertion: 2 | /r/HasProperty | identified with the set
Facets:
Source sentences:
text: In a set-theoretical construction of the natural numbers, 2 is identified with the set {{∅},∅}. This latter set is important in category theory: it is a subobject classifier in the category of sets.