Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - start with the Axiom of Extensionality
Define basic set operations and relations
Next ⟩
cdif
Metamath Proof Explorer
Unicode
Structured
Table of Contents - 2.1.11. Define basic set operations and relations
cdif
cun
cin
wss
wpss
difjust
df-dif
unjust
df-un
injust
df-in
dfin5
dfdif2
eldif
eldifd
eldifad
eldifbd
elneeldif
velcomp
elin