Elemente aus einer vorgegebenen Menge nutzen
Verfasst: 6. Mär 2017 16:05
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
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