Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - add the Axiom of Power Sets
Power class of union and intersection

Next ⟩ pwin

Metamath Proof Explorer

Unicode
Structured

Table of Contents - 2.3.5. Power class of union and intersection

pwin
pwunssOLD
pwssun
pwundifOLD
pwun