Template:Metaproperty implication (generic)

This article gives the statement and possibly, proof, of an implication relation between two [[{{{context space}}} metaproperty|{{{context space}}} metaproperties]]. That is, it states that every {{{context space}}} satisfying the first {{{context space}}} metaproperty must also satisfy the second {{{context space}}} metaproperty
[[:Category:{{{context space}}} metaproperty implications|View all {{{context space}}} metaproperty implications]] | [[:Category:{{{context space}}} metaproperty non-implications|View all {{{context space}}} metaproperty non-implications]]