In einem gerichteten Graphen ( M , R ) {\displaystyle {}(M,R)} gilt das modallogische Transitivitätsaxiom genau dann,
wenn R {\displaystyle {}R} transitiv ist.