Definitions for "type hierarchy"
a non-empty, countable, bounded complete, partially ordered set
a partially ordered set T whose elements are called type labels
a partial ordering of concept types by the type-subtype relation
Keywords:  sort, tree, family, object
a sort of family tree of object types