Category:Ordering Compatible with Group Operation is Strongly Compatible