Gut, das mit der Allklasse war eine unüberlegte Mitternachtsaktion. Aber das Leermengensymbol , das ja im Artikel fest definiert wurde und auch üblicherweise immer so definiert wird, darf man natürlich nicht hinter Quantoren setzen. -- Wilfried Neumaier 23:40, 27. Mai 2008 (CEST)