well-defined: Difference between revisions