in |
:= |
mengentheoretische Elementschaft |
c |
:= |
mengentheoretische Teilmenge |
u |
:= |
mengentheoretische Vereinigung |
f:X --> Y |
:= |
f ist eine Abbildung/ Funktion von X nach Y |
f(a) = b |
:= |
b ist der Funktionswert von f bei Argument a mit a in X und b in Y |
surjektiv |
:= |
allen Elementen aus X wird ein Element aus Y als Wert zugeordnet und kein Element aus Y bleibt unbestimmt |
injektiv |
:= |
allen Elementen aus X wird ein Element aus Y zugeordnet, aber es gibt Elemente aus Y, die nicht als Werte auftreten |
& |
:= |
aussagenlogisch 'und' |
or |
:= |
aussagenlogisch 'oder' |
=> |
:= |
aussagenlogisch 'wenn ... dann ...' |
P(x) |
:= |
x ist das Argument von Prädikat P |