top type

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

EntityQ4129836

Also known as top

Subclass of: data type

Overview

From Wikipedia, the free encyclopedia · Read full article · Text CC BY-SA 4.0

In type theory and computer science, type systems include a top, universal, or any type, which includes all other types as subtypes. The top type is sometimes called also universal type, or universal supertype as all other types in the type system of interest are subtypes of it. In object-oriented languages, it is often called Object, as it represents all possible objects.

Overview

All data

4 statements · 0% with external sources · numbers in brackets are citations

Opposite of: bottom type
Studied by: type theory

On other databases

2 identifiers linking top type across the web's reference databases

Data quality

statements

externally sourced

Source last edited October 9, 2025. AIDB refreshes this page daily.

Suggest a fact or correction

Links

Use this data

curl https://aidb.si/api/v1/entities/Q4129836

API docs, limits & keys

Cite this page

AIDB. (2026). top type (Q4129836). Retrieved from https://aidb.si/e/top-type-Q4129836