Ich finde die Schreibweise im ersten Teil der Klammer



schon unzulässig. Da müsste meiner Meinung nach schon klar stehen, dass es eine Einschränkung für "a" gibt:



Und daher ist B = ∅, wenn sich hinterher dann herausstellt, dass A nur die Null enthält (A = {0} ist).