Definition:Well-Defined

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