Definition:Constant Operation

Definition
Let $S$ be a set.

For any $c \in S$, a constant operation on $S$ is defined as:
 * $\forall x, y \in S: x \left[{c}\right] y = c$