Subtype Relationship

S is a subtype of T if