Identity relation - Axioms of Choice

Processing math: 100%

Identity relation

Set

$X$

$\langle x,y\rangle \in\text{id}_X$

$\langle x,y\rangle \in \text{unaryOp}(X)$

$x=y$

Ramifications

Reference

Mizar files: RELAT_1

Wikipedia: Equality

Parents

Subset of

Unary operation

Log In

Improvements of the human condition