Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - add the Axiom of Power Sets
Proper subset relation
Next ⟩
crpss
Metamath Proof Explorer
Ascii
Structured
Table of Contents - 2.3.21. Proper subset relation
crpss
df-rpss
relrpss
brrpssg
brrpss
porpss
sorpss
sorpssi
sorpssun
sorpssin
sorpssuni
sorpssint
sorpsscmpl