Template:Property non-implication (generic)

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

$|$

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