Template:Propertynonimplication

This category lists important implications between properties over the context space: {{{1}}}. That is, it says that every {{{1}}} satisfying the first [[{{{1}}} property]] also satisfies the second.