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: