Definition:Constant Operation
From ProofWiki
Definition
Let $S$ be a set.
For a given $c \in S$, a constant operation on $S$ is defined as:
- $\forall x, y \in S: x \left[{c}\right] y = c$
Also see
Sources
- Seth Warner: Modern Algebra (1965)... (previous)... (next): $\S 11$: Example $11.4$