Undefined

Input: Undefined
$$\operatorname{Undefined}$$

This special object represents the value of a function or operation applied outside its domain of definition.

Input: Equal(Div(0, 0), Undefined)
$$\frac{0}{0} = \operatorname{Undefined}$$

An example of an undefined result.

Input: And(Equal(Undefined, Undefined), Element(Undefined, Universe))
$$\operatorname{Undefined} = \operatorname{Undefined} \;\mathbin{\operatorname{and}}\; \operatorname{Undefined} \in \operatorname{Universe}$$

Undefined itself obeys the usual rules of logic.

Last updated: 2020-03-06 00:22:16