## ideal

<*theory*>

In domain theory, a non-empty, downward closed subset which is also closed under binary least upper bounds. I.e. anything less than an element is also an element and the least upper bound of any two elements is also an element.

Last updated: 1997-09-26

### Nearby terms:

IDEA ♦ IDEAL ♦ **ideal** ♦ Idealized CSP ♦ Idealized Instruction Set ♦ IDEF

Try this search on Wikipedia, OneLook, Google

Loading