⊥ (bottom)

⊥ (bottom) is a special value which corresponds to a non-terminating computation or one that returns a runtime error. Functions that return bottom are partial, while those that don't are total. In other words, total functions return a valid result for every possible argument. ¹