Los conceptos de subtipo y supertipo son tratados en la próxima sección.