V lambda (limit ordinal)

1 triples
GPTKB property

Random triples
Subject Object
gptkb:Von_Neumann_universe union of V_beta for beta < lambda