The lattice of all transitive relations on a set.
Το πλέγμα όλων των μεταβατικών σχέσεων σε ένα σύνολο.