Template:Property implication (generic): Difference between revisions

From Groupprops
No edit summary
No edit summary
Line 1: Line 1:
{{quotation|''This article gives the statement and possibly, proof, of an implication relation between two [[{{{context space}}} property|{{{context space}}} properties]]. That is, it states that every {{{context space}}} satisfying the first {{{context space}}} property {{#if:{{{stronger|}}}|(i.e., [[Fact about::{{{stronger}}}]])}} must also satisfy the second {{{context space}}} property {{#if:{{{weaker|}}}|(i.e., [[Fact about::{{{weaker}}}]])}}''<br>[[:Category:{{{context space}}} property implications|View a complete list of {{{context space}}} property implications]] OR [[:Category:{{{context space}}} property non-implications|View a complete list of {{{context space}}} property non-implications]]}}<includeonly>[[Category: {{{context space}}} property implications]]</includeonly><noinclude>[[Category: Property implication specification templates]]</noinclude>
{{quotation|''This article gives the statement and possibly, proof, of an implication relation between two [[{{{context space}}} property|{{{context space}}} properties]]. That is, it states that every {{{context space}}} satisfying the first {{{context space}}} property {{#if:{{{stronger|}}}|(i.e., [[Fact about::{{{stronger}}}]])}} must also satisfy the second {{{context space}}} property {{#if:{{{weaker|}}}|(i.e., [[Fact about::{{{weaker}}}]])}}''<br>[[:Category:{{{context space}}} property implications|View a complete list of {{{context space}}} property implications]] <math>|</math> [[:Category:{{{context space}}} property non-implications|View a complete list of {{{context space}}} property non-implications]]}}<includeonly>[[Category: {{{context space}}} property implications]]</includeonly><noinclude>[[Category: Property implication specification templates]]</noinclude>

Revision as of 22:28, 7 August 2008

This article gives the statement and possibly, proof, of an implication relation between two [[{{{context space}}} property|{{{context space}}} properties]]. That is, it states that every {{{context space}}} satisfying the first {{{context space}}} property must also satisfy the second {{{context space}}} property
[[:Category:{{{context space}}} property implications|View a complete list of {{{context space}}} property implications]]

|

[[:Category:{{{context space}}} property non-implications|View a complete list of {{{context space}}} property non-implications]]