Transitive relation

Set

context $X$
definiendum $ R\in\mathrm{TransitiveRel}(X) $
context $ R \in \mathrm{Rel}(X) $
$ x,y,z\in X $
postulate definiendum $ xRy\land yRz \implies xRz $

Discussion

Parents

Subset of

Binary relation on a set