V lambda (limit ordinal)
1
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:Von_Neumann_universe | union of V_beta for beta < lambda |