 In order theory, that is, the theory of lattices of partially ordered sets, formula_84 is a continuous function when the lattice is given the Scott topology.Scott-continuous functions were first investigated in the attempt to provide a semantics for lambda calculus (as ordinary set theory is inadequate to do this).More generally, Scott-continuous functions are now studied in domain theory, which encompasses the study of denotational semantics of computer algorithms.