Assertion: proper class | /r/HasProperty | subclasses of sets
Facets:
Source sentences:
text: For example, any set theory with a universal set has proper classes which are subclasses of sets.