This is an old revision of the document!

Binary relation on a set

Definition

$X$
$ \text{Rel}(X) $
$ \text{Rel}(X) = \text{Rel}(X,X) $

Ramifications

Reference

Mizar files: RELAT_1

Wikipedia: Relation

Context

Parents

Binary relation

Link to graph
Log In
Improvements of the human condition
limeGraphxioms