Definition talk:Affine Algebraic Set
Jump to navigation
Jump to search
The idea of a Definition page in ProofWiki is that the definition section is complete in itself and contains no extraneous information. Thus when a user lands on this page they are able to glean the totality of a definition without being possibly confused with any extra embellishments which, while they have their relevance, do not actually contribute towards the definition as such.
In this instance, the fact that there exists an equivalent statement of this definition belongs either:
- a) As a second definition, in a separate page, transcluded in the same manner as other multiply-equivalently-defined entities, with a separate link to the page which demonstrates that the two are equivalent
or
- b) If you don't believe that the equivalence is not an appropriate statement of definition, then as a link to a proof in an "also see" section, which would explicitly explain why the two are equivalent. As it stands, the user is tasked with reading the page in question and having to figure out what needs to be stated in order to determine why this is a logical equivalence.
- c) There was something else but I forgot it. --prime mover (talk) 13:48, 28 March 2013 (UTC)