Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - add the Axiom of Union
Equinumerosity
csdm
Next ⟩
cfn
Metamath Proof Explorer
Ascii
Structured
Syntax definition
csdm
Description:
Extend class definition to include the strict dominance relation (curly less-than)
Ref
Expression
Assertion
csdm
class
≺