transitiv relation

En transitiv relation i matematiken, är en binär relation R för en mängd X för vilken det alltid gäller att om "a är relaterad till b" och "b är relaterad till c", så gäller även att "a är relaterad till c". Med matematisk notation gäller alltså: