Die Definition des Durchschnitts bei einer leeren Indexmenge
wird so getroffen, weil man sich wohl vorstellen kann, dass
bei nichtleerer Indexmenge es ja heißt
x liegt im Durchschnitt, wenn gilt
x aus N1 und x aus N2 und ....
es gibt also mehrere Einschränkun gen für das x, und nur wenn die
alle erfüllt sind, ist das x im Durchschnitt.
Wenn nun die Indexmenge leer ist, gibt es keine Einschränkung und
damit ist jedes x aus M eben in diesem "Durchschnitt" mit der leeren Indexmenge.