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.


Replace this text with examples


Replace this text with non-examples

Additional Comments

Add any other comments you have about the term here

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License