D120.de/forum

Hallo,

mal angenommen, es gebe eine definierte Menge mit ZUSTAND:={ready, idle}

Ich würde jetzt gerne eine neue Relation definieren, wo ich bspw. die Relation A folgender Maßen definiere:

\(A:= \{(a1,a2) \in ZUSTAND \times ZUSTAND \mid a1 = ready\}\).

Die Frage ist, ob ich ready einfach so benutzen kann, ohne dass ich auch noch schreibe, dass ready \(\in\) ZUSTAND ist?


Danke im Vor raus!

Beste Grüße
OeMA

Ja, das wäre okay und auch sinnvoll, da \(ready\) ja als "Symbol" in deinem Modell eingeführt wurde..

Danke für die Antwort!