Fundované jádro

Třída WF je uzavřená na všechny definovatelné množinové operace a v důsledku tedy obsahuje i všechny definovatelné množinové konstanty (nulární operace), mezi něž patří speciálně všechny základní číselné obory. Dokonce množiny ${\displaystyle \mathbb {N,Z,Q,R,C} }$ všech po řadě přirozených, celých, racionálních, reálných a komplexních čísel jsou prvky již množiny ${\displaystyle \,V_{\omega +\omega }}$ z definice WF.

Třída WF je vnitřním modelem ZF v ZF_ (tj. ve WF platí všechny (do WF relativizované) axiomy ZF, včetně axiomu fundovanosti).

Třída WF je největší (vzhledem k inkluzi) [[tranzitivní množina|tranzitivní třída]], na níž je relace ${\displaystyle \in }$ fundovaná.

Mostovského věta o kolapsu říká, že ve WF lze pomocí ∈ simulovat všechny myslitelné binární relační struktury „příjemných“ vlastností. Zní takto:

Pro každou úzkou extenzionální (na A) a fundovanou (na A) relaci R na třídě A existuje jednoznačně určená tranzitivní podtřída T třídy WF taková, že struktury <R,A> a <∈,T> jsou izomorfní.

V ZF_ je dokazatelné ${\displaystyle \mathbb {L} \subseteq \mathbb {WF} \subseteq \mathbb {V} }$, kde ${\displaystyle \mathbb {L} }$ je třída všech konstruovatelných množin a ${\displaystyle \mathbb {V} }$ je univerzální třída.

Axiom fundovanosti platí ve WF (tj. platí zde jeho relativizace do WF). Axiom fundovanosti je dokonce ekvivalentní s tvrzením, že každá množina leží ve WF (tj. ${\displaystyle (AF)\Leftrightarrow (\mathbb {V} =\mathbb {WF} )}$).