Cuando todas las instancias de un tipo de entidad pertenecen a otra entidad, se dice que la primera es un subtipo o subclase de la segunda y la segunda es el supertipo o superclase de la primera.