Operations
A set of operations accompany domains. The operations are functions that need arguments from the domain to produce answers.
Operations are defined in two parts:
- the operations domain and codomain are given by the operations functionality. For an operation f, its functionality f: D1 x D2 x .. x Dn ?A says that f needs an argument from domain D1 and one from D2 to produce an answer in domain A.
- A description of the operations mapping is specified. This is usually an equational definition, but a set graph, table or diagram may also be used.
A Domain plus its operations constitutes a semantic algebra.