The subtype relation