In color displays, new colors and textures are simulated by varying the proportions of existing colors. The higher the resolution of the display, the smoother the dithered color will appear to the eye. A branch of mathematics introduced by Dana Scott in 1970 as a mathematical theory of programming languages, and for nearly a quarter of a century developed almost exclusively in connection with denotational semantics in computer science. In denotational semantics of programming languages, the meaning of a program is taken to be an element of a domain. Domain theory is the study of such structures.
Different domains correspond to the different types of object with which a program deals.
In the pure lambda-calculus all objects are functions or applications of functions to other functions. The equivalent equation has no non-trivial solution in set theory . There are domain-theoretic computational models in other branches of mathematics including dynamical system, fractals, measure theory, integration theory, probability theory and stochastic processes. The correction of an observed astronomical spectrum to a standard reference velocity system. The observer rotates with the surface of the earth, which moves around the moon-earth barycenter, which moves around the solar system barycenter, which moves with respect to local stars, which revolve around the galactic center, etc.