Eine Relation ist transitiv, wenn für alle X, Y und Y gilt, dass wenn die Paare (X Y) und (Y Z) zur Relation gehören, dann auch das Paar (X Z) zur Relation gehört.