Eine (und damit bis auf Isomorphie genau eine) saturierte dichte lineare Ordnung ohne Endpunkte der Kardinalität (d. h., sie ist -saturiert) existiert genau dann, wenn regulär ist und.
Kritisch dargestellt werden alle abendfüllenden Produktionen, die bis zum Redaktionsschluss einen deutschen Verleih und so regulär den Weg in die Kinos gefunden hatten.
Es können regulär Einzelfahrausweise, 4er-Tickets, Kurzstreckentickets, Einzel- und Gruppentageskarten (für bis zu fünf Personen) sowie verschiedene Varianten von Monats- und Jahreskarten erworben werden.