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.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search