Domain

INFO

(Set theory & Relation, Order & Lattice theory) A mathematical structure (typically a complete Partial order with a bottom element) used in Denotational semantics to model computation - enables reasoning about recursion, non-termination, and fixed points; values form a lattice where $\bot$ represents divergence/undefined.