Domain theory, which was introduced by Dana Scott in the early 1970s, works on the principle of incorporating partial elements into denotational domains. The resulting structures are ordered by a natural notion of refinement or approximation, and they carry a topology that expresses the process of passing to a limit.