Los sorts están parcialmente relacionados mediante relaciones de subtipo (subsort) definiéndose un orden parcial.