Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - start with the Axiom of Extensionality
The difference, union, and intersection of two classes
Class abstractions with difference, union, and intersection of two classes
Next ⟩
unabw
Metamath Proof Explorer
Ascii
Unicode
Table of Contents - 2.1.13.6. Class abstractions with difference, union, and intersection of two classes
unabw
unab
inab
difab
abanssl
abanssr
notabw
notab
unrab
inrab
inrab2
difrab
dfrab3
dfrab2
notrab
dfrab3ss
rabun2