dove con il simbolismo C i ⊂ n {\displaystyle C_{i}\subset n} si indica che la sottoclasse C i {\displaystyle C_{i}} è contenuta in C i {\displaystyle C_{i}} è contenuta in n {\displaystyle n}