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