onde com o simbolismo C i ⊂ n {\displaystyle C_{i}\subset n} indica que a subclasse C i {\displaystyle C_{i}} está contida em n {\displaystyle n}