Definition:Well-Defined

Well-Defined Relation
The concept can be generalized to include the general relation $\RR: S \to T$.

Also known as
Some sources use the term consistent for well-defined.