Das führt zu folgendem Bratteli-Diagramm: definiert sei. Hier sind alle Vielfachheiten gleich 2 und man erhält das folgende Bratteli-Diagramm: Man sieht leicht ein, dass das Bratteli-Diagramm des Beispiels "Kompakte Operatoren mit Einselement" diese Eigenschaft hat, es handelt sich also um eine postliminale C*-Algebra. Die CAR-Algebra hat dies.....