Minimum bzgl. $\sqsubseteq$

Minimum bzgl. $\sqsubseteq$

Frage:

Was ist das Minimum auf der Menge $(\text{States} \hookrightarrow \text{States})$ bzgl. der Halbordnung $\sqsubseteq$?

(Bezeichnung: $\perp$)

Antwort:

Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.