Template:Property implication (generic)

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 all {{{context space}}} property implications]]

$|$

[[:Category:{{{context space}}} property non-implications|View all of {{{context space}}} property non-implications]]