Numeric.Order.LocallyFinite
class
LocallyFiniteOrder
a