Assertion: set's element | /r/HasProperty | class
Facets:
Source sentences:
text: The proper class \(L\), together with the \(\in\) relation restricted to \(L\), is an inner model of ZFC, that is, a transitive (i.e., it contains all elements of its elements) class that contains all ordinals and satisfies all the ZFC axioms.