Bottom type

In type theory, a theory within mathematical logic, the bottom type of a type system is the type that is a subtype of all other types.

Where such a type exists, it is often represented with the up tack (⊥) symbol.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.