Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - add the Axiom of Power Sets
The membership relation (or epsilon relation)
cep
Next ⟩
df-eprel
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cep
Description:
Extend class notation to include the membership relation.
Ref
Expression
Assertion
cep
class
E