Qué pasa con el tipo de datos de un subtipo en relación al del supertipo, qué debe cumplirse para que un grupo de subtipos esté correctamente definido.