Binary relation on a set
Set
context
$X$
definiendum
$ \text{Rel}(X) \equiv \text{Rel}(X,X) $
Discussion
Reference
Wikipedia:
Relation
Parents
Subset of
Binary relation