Hoy conocemos los cuatro tipos de jerarquías de subtipos:
- Solapada parcial: Un elemento puede ser dos cosas que se encuentran en el esquema a la vez y puede ser una cosa que no se encuentra en el esquema.
- Solapada total:Un elemento puede ser dos cosas que se encuentran en el esquema a la vez pero no puede ser algo que no se encuentra en el esquema.
- Exclusiva parcial: Un elemento puede ser una cosa entre las que se encuentran en el esquema o puede ser algo que no se encuentra en el esquema.
- Exclusiva total:Un elemento puede ser una cosa entre las que se encuentran en el esquema pero no puede ser algo que no se encuentra en el esquema.
