[−][src]Trait maths_traits::analysis::ordered::MulOrdered
A marker trait signifying that for x > y
, x*z > x*z
and z*x > z*x
for all z > 0
Like for AddOrdered, for this also implies for non-trivial structures that they are infinite and provides for embeddings of the Naturals and Integers in much the same way.