Hierarchy is a kind of order of abstractions.