Es sei
und N {\displaystyle {}N} das Ideal der Nullfolgen in D {\displaystyle {}D} .
gibt.
bijektiv ist.