Modallogik/Rahmen/Reflexivität/Fakt

In einem gerichteten Graphen ${}(M,R)$ gilt das modallogische Reflexivitätsaxiom genau dann,

wenn ${}R$ reflexiv ist.

Zum Beweis, Alternativen Beweis erstellen