Definition:Constant Operation

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$$