This is an old revision of the document!

Transitive relation

Definition

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

Discussion

Context

Subset of

Binary relation on a set

Link to graph
Log In
Improvements of the human condition
limeGraphxioms