Assertion: set | /r/HasProperty | a subset of l α ∈ l
Facets:
value: α +1
type: OTHER
Source sentences:
text: Again using the axiom of replacement in V , we can show that there must be an α such that this set is a subset of L α ∈ L α +1 .