Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - add the Axiom of Union
Finite intersections
Next ⟩
cfi
Metamath Proof Explorer
Unicode
Structured
Table of Contents - 2.4.32. Finite intersections
cfi
df-fi
fival
elfi
elfi2
elfir
intrnfi
iinfi
inelfi
ssfii
fi0
fieq0
fiin
dffi2
fiss
inficl
fipwuni
fisn
fiuni
fipwss
elfiun
dffi3
fifo