Domain Theory
Domain Theory: The study of ”structured sets” and their operations.
Fundamental concept: semantic domain- a set of elements grouped together because they share some common property or use. The set of natural numbers is a useful semantic domain, its elements are structurally similar and share common use in arithmetic.
Domains may be nothing more than sets but there are situations in which other structures such as lattices or topologies may be used instead. For the moment we assume all domains are simply sets.