# Difference between revisions of "Subwiki:Relations in definition article"

(New page: Definition articles, or article defining new terms, have ''relation'' sections. These relation sections describe how the term being defined (henceforth, call...) |
|||

Line 27: | Line 27: | ||

For property articles, conjunctions and disjunctions are typically handled in separate subsections under the '''Relation with other properties''' section. The section with conjunctions is titled '''Conjunction with other properties''' while the section on disjunctions is titled '''Disjunction with other properties'''. | For property articles, conjunctions and disjunctions are typically handled in separate subsections under the '''Relation with other properties''' section. The section with conjunctions is titled '''Conjunction with other properties''' while the section on disjunctions is titled '''Disjunction with other properties'''. | ||

+ | |||

+ | ===Semantic information for stronger and weaker=== | ||

+ | |||

+ | If <math>B</math> is stronger than <math>A</math>, and is mentioned in the article on <math>A</math>, the semantic property [[Property:Weaker than]] is used. This stores the information that <math>A</math> is weaker than <math>B</math>. Conversely, if <math>A</math> is stronger than <math>B</math>, the property [[Property:Stronger than]] is used. These can be used in semantic search to locate particular properties or structures that are stronger than or weaker than given ones. | ||

+ | |||

+ | Note that conjunctions are ''stronger than'' the components, and disjunctions are ''weaker than'' the components, and this information is stored, ''even though'' conjunctions and disjunctions are usually listed in separate subsections. | ||

==Relation with terms of related but different types== | ==Relation with terms of related but different types== | ||

Line 35: | Line 41: | ||

Suppose a subgroup property has some related group properties. Then, these group properties are listed in a subsection titled '''Related group properties''' under the section '''Relation with other properties'''. | Suppose a subgroup property has some related group properties. Then, these group properties are listed in a subsection titled '''Related group properties''' under the section '''Relation with other properties'''. | ||

+ | |||

+ | ==Examples== | ||

+ | |||

+ | ===Groupprops=== | ||

+ | |||

+ | Here are some examples of pages on properties with a '''Relation with other properties''' section: | ||

+ | |||

+ | * [[Groupprops:Normal subgroup]]: Here is its [[Groupprops:Normal subgroup#Relation with other properties|relation with other properties section]]. This has many subsections, including stronger properties, weaker properties, conjunction with other properties. For some of them, there are links to proofs of the implications and of the reverse implications being false, and for some, there are links to survey articles explaining the differences between the properties. | ||

+ | * [[Groupprops:Pronormal subgroup]]: Here is its [[Groupprops:Pronormal subgroup#Relation with other properties|relation with other properties section]]. This has a list of stronger properties, a list of weaker properties, and a separate subsection titled '''Conjunction with other properties'''. | ||

+ | * [[Groupprops:Complete group]]: Here is its [[Groupprops:Complete group#Relation with other properties|relation with other properties section]]. This has a list of stronger properties and a list of weaker properties. For some of these, there are links to proofs of the implications. | ||

+ | * [[Groupprops:Monoid]]: Here is its [[Groupprops:Monoid#Relation with other structures|relation with other structures section]]. This has a list of stronger structures and a list of weaker structures. | ||

+ | * [[Groupprops:Conjugate subgroups]]: Here is its [[Groupprops:Conjugate subgroups#Relation with other equivalence relations|relation with other equivalence relations section]]. This has a list of stronger equivalence relations and weaker equivalence relations. | ||

+ | * [[Groupprops:Transitive subgroup property]]: Here is its [[Groupprops:Transitive subgroup property#Relation with other metaproperties|relation with other metaproperties section]]. This has a list of stronger metaproperties and a list of weaker metaproperties. | ||

+ | |||

+ | These relations between properties, structures and equivalence relations of various sorts can be used to locate properties. Here are some examples of semantic queries (that can be executed by typing the query term in [[Groupprops:Special:Ask|the Special:Ask page]]: | ||

+ | |||

+ | * For a list of subgroup properties that are ''stronger than'' subnormality and ''weaker than'' normality: | ||

+ | |||

+ | <pre>[[Stronger than::Subnormal subgroup]][[Weaker than::Normal subgroup]]</pre> |

## Revision as of 23:07, 16 January 2009

Definition articles, or article defining new terms, have *relation* sections. These relation sections describe how the term being defined (henceforth, called the *definiendum*) is related to other terms and concepts.

## Contents

## Relation with similarly typed terms

The *type* of a term is the specific role that term plays. For instance, some terms may be of the *property* type: *prime number* is a property of natural numbers. Some terms may be of the *species* type, so *mangifera indica* is a species of plant. (Learn more about typing at Subwiki:Type-based organization).

The relation with similarly typed terms describes how the definiendum is related to terms of the same *type*.

### Stronger and weaker

For properties over some context space, one can talk of *stronger properties* and *weaker properties*, to describe the relation with other properties over the same context space. Thus, for instance, the property of natural numbers of being a perfect fourth power is *stronger than* the property of being a perfect square, while the property of being a perfect power is *weaker than* the property of being a perfect square.

Something similar is true for extra structures placed. A *stronger structure* in this case is a structure that carries more information (or more constraints) than a weaker structure, and from which the weaker structure can be recovered. For instance, the structure of a Riemannian manifold is *stronger than* the structure of a topological manifold, and the structure of a group is *stronger than* the structure of a magma (a set with a binary operation).

We typically say that the stronger property (resp., structure) *implies* (resp., gives rise to) the weaker property (resp., structure). Here's how this is presented in the case of properties:

- In a section titled
**Relation with other properties**, there are subsections titled**Stronger properties**and**Weaker properties**. - In the section titled
**Stronger properties**, there are bullet points listing the stronger properties. When available or desired, each property is accompanied by a short description either of the property or of why it is stronger; there is usually also a link to a more complete proof, both of the implication, and of why the converse implication fails in general. There may also be a link to a survey article comparing the properties. - In the section titled
**Weaker properties**, there are bullet points listing the weaker properties. When available or desired, each property is accompanied by a short description either of the property or of why it is weaker; there is usually also a link to a more complete proof, both of the implication, and of why the converse implication fails in general. There may also be a link to a survey article comparing the properties. - There may also be a section titled
**Related properties**or**Incomparable properties**that lists properties that are neither stronger nor weaker but are still closely related.

A similar format is followed for stronger/weaker structure and for stronger notions and weaker notions in other senses.

### Conjunctions and disjunctions

Sometimes new terms are obtained by taking the definiendum and **AND**ing it with something else. For instance, we can take the **AND** of the property of being a prime number and the property of being an odd number, and get the property of being an odd prime. We can take the **OR** of being a number that is 1 mod 3 and a number tha tis 2 mod 3, to get the property of being a number that is not a multiple of 3.

For property articles, conjunctions and disjunctions are typically handled in separate subsections under the **Relation with other properties** section. The section with conjunctions is titled **Conjunction with other properties** while the section on disjunctions is titled **Disjunction with other properties**.

### Semantic information for stronger and weaker

If is stronger than , and is mentioned in the article on , the semantic property Property:Weaker than is used. This stores the information that is weaker than . Conversely, if is stronger than , the property Property:Stronger than is used. These can be used in semantic search to locate particular properties or structures that are stronger than or weaker than given ones.

Note that conjunctions are *stronger than* the components, and disjunctions are *weaker than* the components, and this information is stored, *even though* conjunctions and disjunctions are usually listed in separate subsections.

Apart from being related with terms of the same type, the definiendum may also be related with terms of different types. These relations may be somewhat more complicated.

Suppose a subgroup property has some related group properties. Then, these group properties are listed in a subsection titled **Related group properties** under the section **Relation with other properties**.

## Examples

### Groupprops

Here are some examples of pages on properties with a **Relation with other properties** section:

- Groupprops:Normal subgroup: Here is its relation with other properties section. This has many subsections, including stronger properties, weaker properties, conjunction with other properties. For some of them, there are links to proofs of the implications and of the reverse implications being false, and for some, there are links to survey articles explaining the differences between the properties.
- Groupprops:Pronormal subgroup: Here is its relation with other properties section. This has a list of stronger properties, a list of weaker properties, and a separate subsection titled
**Conjunction with other properties**. - Groupprops:Complete group: Here is its relation with other properties section. This has a list of stronger properties and a list of weaker properties. For some of these, there are links to proofs of the implications.
- Groupprops:Monoid: Here is its relation with other structures section. This has a list of stronger structures and a list of weaker structures.
- Groupprops:Conjugate subgroups: Here is its relation with other equivalence relations section. This has a list of stronger equivalence relations and weaker equivalence relations.
- Groupprops:Transitive subgroup property: Here is its relation with other metaproperties section. This has a list of stronger metaproperties and a list of weaker metaproperties.

These relations between properties, structures and equivalence relations of various sorts can be used to locate properties. Here are some examples of semantic queries (that can be executed by typing the query term in the Special:Ask page:

- For a list of subgroup properties that are
*stronger than*subnormality and*weaker than*normality:

[[Stronger than::Subnormal subgroup]][[Weaker than::Normal subgroup]]