Modallogik/Rahmen/Möglichkeit/Seriellität/Fakt

In einem gerichteten Graphen ${}(M,R)$ gilt das modallogische Möglichkeitsaxiom genau dann,

wenn in ${}M$ jeder Punkt einen Nachfolger besitzt.

Zum Beweis, Alternativen Beweis erstellen