Klassenvariablen sind hier freie Variablen; in gebundene Variablen können dagegen nur Elemente eingesetzt werden, speziell auch alle Mengen, die das Kriterium im Komprehensionsprinzip erfüllen müssen.