Editing Domain theory (section)

{{Inline|date=June 2022}}{{Short description|Branch of mathematics relating to posets}}
'''Domain theory''' is a branch of [[mathematics]] that studies special kinds of [[partially ordered set]]s (posets) commonly called '''domains'''. Consequently, domain theory can be considered as a branch of [[order theory]]. The field has major applications in [[computer science]], where it is used to specify [[denotational semantics]], especially for [[functional programming|functional programming languages]]. Domain theory formalizes the intuitive ideas of approximation and convergence in a very general way and is closely related to [[topology]].