added isOrdered method, indicating if there is a natural order for the domain