Template:Propertynonimplication

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