Lifted domain

In domain theory, a domain with a new bottom element added. Given a domain D, the lifted domain, lift D contains an element lift d corresponding to each element d in D with the same ordering as in D and a new element bottom which is less than every other element in lift D.
In functional languages, a lifted domain can be used to model a constructed type, e.g. the type
data LiftedInt = K Int
contains the values K minint .. K maxint and K bottom, corresponding to the values in Int, and a new value bottom. This denotes the fact that when computing a value v = (K n) the computation of either n or v may fail to terminate yielding the values (K bottom) or bottom respectively.
(In LaTeX, a lifted domain or element is indicated by a subscript \perp).
See also tuple.


Read Also:

  • Lift-drag ratio

    [lift-drag] /ˈlɪftˈdræg/ noun, Aeronautics. 1. the ratio of the lift to the drag of an airfoil.

  • Lift-bridge

    noun 1. a bridge having a section that can be lifted vertically to permit passage of boats beneath it.

  • Lightly

    [lahyt-lee] /ˈlaɪt li/ adverb 1. with little weight, force, intensity, etc.; gently: to press lightly on a door bell. 2. to only a small amount or degree; slightly: lightly fried eggs. 3. nimbly; quickly: to leap lightly aside. 4. with a lack of concern; indifferently; slightly: to think lightly of one’s achievements. 5. cheerfully; without […]

  • Light-machine-gun

    noun, Military. 1. any air-cooled machine gun having a caliber not greater than 0.30 inches (7.6 mm).

Disclaimer: Lifted domain definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.