This is an old revision of the document!

Identity relation

Definition

$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

Context

Subset of

Unary operation

Link to graph
Log In
Improvements of the human condition
limeGraphxioms