Compound Domains
Domain theory possesses a number of domain building constructions for creating new domains from existing ones.
Each domain builder carries with it a set of operation builders for assembling and disassembling elements of the compound domain.
Compound Domains include:
- Product domains A x B
- Sum domains A+ B
- Function domains A ? B
- Lifted domains A ? = A U {?}