# bottom type

> type that is the subtype of all other types; equivalent to the empty type if uninhabited

**Wikidata**: [Q3546108](https://www.wikidata.org/wiki/Q3546108)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Bottom_type)  
**Source**: https://4ort.xyz/entity/bottom-type