Sei t 0 ∈ R {\displaystyle t_{0}\in \mathbb {R} } fest und P {\displaystyle P} die Menge aller Studenten, V {\displaystyle V} die Menge aller Vorlesungen.
Wir sagen, ein Student p {\displaystyle p} hat zum Zeitpunkt t 0 {\displaystyle t_{0}} "regelmäßig abgegeben" in v :⇔ {\displaystyle v:\Leftrightarrow }