Well Defined

Return to Glossary.

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

Additional Comments

---

Add any other comments you have about the term here