Help:Multiple Definitions

Different sources may give different Definitions for the same thing. Because aims to be accessible to a large public, equivalent definitions are treated equally.

Introduction
Instead of choosing only one definition as the "main" definition and taking the other definitions as theorems, on equivalent definitions are bundled on the same definition page. Their equivalence is proved on a separate page. This has multiple advantages:


 * Every student feels at home at, regardless of the definition their textbook uses.
 * Seeing different definitions in one glance, increases the chance for a visitor to understand the concept being defined.
 * Different viewpoints on the same concept makes more coherent, without making the pages appear too encyclopaedic.

Page Structure
The structure of page with multiple equivalent definitions is roughly as follows:

Definition
Let ... ... Let ...

Second transcluded definition
...

Also see

 * Equivalence of Definitions of Concept that is Defined

As with multiple proofs, the introductory part is copied identically on the transcluded subpages, but not inside the  tags.

A link to a proof showing their equivalence (see below) is placed in the Also see section, preferably as the first item in the list, so as to make it easier to find the link.

Pages that severly deviate from this structure have to be refactored accordingly.

Equivalence Proofs
The equivalence of the definitions has to be proved on a separate page. More instructions at Help:Definition Equivalences.

Related definitions
While unrelated definitions with the same name have to be disambiguated, very closely related definitions bearing a same name can be treated in the same way as generalizations.

Generalizations
It is not uncommon that a definition has one or more generalizations. Naturally, this does not mean that only the most general definition should be given:


 * aims to be accessible to people with different background
 * Nobody knows if a more general definition will be invented some day.

If one definition applies to a significantly more general setting, it should not be treated as just another equivalent definition. Instead, the less and more general definitions are placed on a separate page. Depending on the situation, there are roughly two ways to do this:


 * 1) Transclude the pages on a common page. They can either be transcluded as subpages, which is appropriate in most cases, or as independent pages.
 * 2) Set up a disambiguation page. This becomes especially more convenient if there is a large amount of related definitions, which would otherwise compromise the conciseness of the page on which everything is transcluded.

Nonequivalent definitions

 * See also Help:Also defined as

Also see

 * Help:Multiple Proofs