Well Defined

Formal Definition

A binary operation $*$ is well-defined on a set $S$ if, for all $a,b,x,y \in S$, if $a=b, x=y$ then $a*x=b*y$.

Informal Definition

Replace this text with an informal definition.

Example(s)

Replace this text with examples

Non-example(s)

Replace this text with non-examples