Lukas' Notes

Definition

Transitive Binary Relation

A binary relation is transitive if