Changes

dove con il simbolismo {\displaystyle C_{i}\subset n}<math>C_i \subset n </math> si indica che la sottoclasse  <math>C_i</math> è contenuta in {\displaystyle n}<math>n</math>

dove con il simbolismo <math>C_i \subset n </math> si indica che la sottoclasse  <math>C_i</math> è contenuta in <math>C_i</math> è contenuta in <math>n</math>