où avec le symbolisme C i ⊂ n {\displaystyle C_{i}\subset n} cela indique que la sous-classe C i {\displaystyle C_{i}} est contenue dans n {\displaystyle n}
