Page "Domain theory" Paragraph 12

From the underlying idea of partially specified results as representing incomplete knowledge, one derives another desirable property: the existence of a least element.

Such an element models that state of no information-the place where most computations start.

It also can be regarded as the output of a computation that does not return any result at all.