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.



< Previous Terms Terms Containing ideal Next Terms >
IDAMS
IDD
IDE
IDEA
IDEAL
1802
backup
bit bucket
capacity
complexity
Idealized CSP
Idealized Instruction Set
IDEF
idempotent
IDF