Las especializaciones completas requieren que cada instancia de supertipo sea, a demás, instancia de, al menos, un subtipo.