Definition:Domain (Relation Theory)/Binary Operation
< Definition:Domain (Relation Theory)(Redirected from Definition:Domain of Operation)
Jump to navigation
Jump to search
Definition
Let $\circ: S \times S \to T$ be a binary operation.
The domain of $\circ$ is the set $S$ and can be denoted $\Dom \circ$.
This definition can be considered as the same as that for the domain of a mapping, where the domain would be defined as $S \times S$.