@Chricho: welche formulierung schlaegst du vor? die von dir vorgeschlagene hat wie oben gesagt den mangel, sehr redundant zu sein. diejenige von Röhrender Elch suggeriert etwas von "mathematisch falsch", was aus mathematikersicht unsinn ist. definitionen sind haeufig nicht einheitlich, vgl. symbole fuer teilmengenrelation. haeufig werden auch sachen abgekuerzt, so wie z.b. in der stochastik P({ω}) -> P(ω).