top type (Q4129836)

the universal type, sometimes called the universal supertype as all other types in any given type system are subtypes of top; the type which contains every possible object in the type system of interest