Assertion: set's subset | /r/HasProperty | thought as class
Facets:
Source sentences:
text: However, if an inaccessible cardinal κ {\displaystyle \kappa } is assumed, then the sets of smaller rank form a model of ZF (a Grothendieck universe), and its subsets can be thought of as "classes".