Well defined
From CS2800 wiki
An object is well defined if it satisfies the requirements for whatever type of object it claims to be. For example:
- A well-defined function is just a function; in particular, the proposed rule is actually unambiguous and total.
- A well-defined set is just a set; in particular, every object is either in the set or not in the set.
