Modallogik/Rahmen/Euklidisch/Fakt

In einem gerichteten Graphen gilt das modallogische euklidische Axiom genau dann,

wenn euklidisch ist.