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.^[1]

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