[EN] One of the aims of domain theory is the construction of an embedding of a given structure or data type as the maximal or “ideal” elements of an enveloping domain of “approximations,” sometimes called a domain environment. ...