bottom type

/B AA1 T AH0 M T AY0 P/
noun
  1. 1

    (type theory, programming) The type that is a subtype of all other types.