Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - add the Axiom of Power Sets
Proper subset relation
crpss
Next ⟩
df-rpss
Metamath Proof Explorer
Unicode
Structured
Syntax definition
crpss
Description:
Extend class notation to include the reified proper subset relation.
Ref
Expression
Assertion
crpss
class [C.]