[−][src]Trait maths_traits::analysis::ordered::ArchimedeanProperty
The property that if x < y
, there exists some natural n
where n*x = x*...*x > y
This is often interpreted as the structure having no "infinite" elements, since any element can be reached from any other non-zero element (even the smallest of elements) through only repeated addition.
Now, it is worth noting that in practice, implementing structs might still have some form of infinite elements, so long as they aren't "distinguished" in some way. In particular, IEEE floating points have INF, -INF, and NaN as standard values, all of which violate this property however, in order to simplify the API and still have f32 and f64 be considered reals, these values are interpreted as errors. Of course, in general, new structs implementing this trait should avoid this if possible.