für Daten in: Eingabe, Rechnungsverlauf, Ausgabe
Notation: O∈M: Objekt O ist Element der Menge M
A = {1, 2, 4, 8} Spezialfall B = { } = ∅
A = {a | a∈∧∃b∈ : b < 4∧a = 2b}