Nominal systems are used to determine if types are equivalent, as well as if a type is a subtype of another.
Nominal systems are utilized to establish equivalency among types and determine if one type is a subset of another.