Template:Subloop property non-implication

This article gives the statement and possibly, proof, of a non-implication relation between two subloop properties. That is, it states that every subloop satisfying the first subloop property (i.e., [[{{{stronger}}}]]) need not satisfy the second subloop property (i.e., [[{{{weaker}}}]])
View a complete list of subloop property non-implications | View a complete list of subloop property implications
Get more facts about {{{stronger}}}"{{{stronger}}}" is not a number.|Get more facts about {{{weaker}}}"{{{weaker}}}" is not a number.