Transitive Hülle (Relation)

Die transitive Hülle bzw. der transitive Abschluss einer (zweistelligen) Relation ist die kleinste Erweiterung dieser Relation, die transitiv ist. Sie kann mit dem Floyd-Warshall-Algorithmus berechnet werden.

Die reflexiv-transitive Hülle bzw. den reflexiv-transitiven Abschluss der Relation erhält man, indem man zur transitiven Hülle die für Reflexivität noch fehlenden Paare auf der Diagonalen hinzufügt.