Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - add the Axiom of Union
First and second members of an ordered pair
c1st
Next ⟩
c2nd
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
c1st
Description:
Extend the definition of a class to include the first member an ordered pair function.
Ref
Expression
Assertion
c1st
$${class}{1}^{st}$$