donde con el simbolismo C i ⊂ n {\displaystyle C_{i}\subset n} indica que la subclase C i {\displaystyle C_{i}} está contenida en n {\displaystyle n}