Hier habe ich mich in der Vorlesung in der Tat ungenau ausgedrückt: Der Operator war gemeint als Variante 2, da er überhaupt nur angewendet werden kann, wenn Aussagen zu v in beiden CONSTANT-Mengen stehen. Und nur wenn der Operator angewendet werden darf, liefert er ein Element für die Ergebnismenge...