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