| 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 |