Sei $F: (\text{States} \hookrightarrow \text{States})\to (\text{States} \hookrightarrow \text{States})$.
Wann heißt eine Funktion $F$ monoton (bzgl. $\sqsubseteq$)?
Nur angemeldete Nutzer dürfen die Antwort sehen. Hier geht's zur kostenlosen Registrierung.