Added semiring order definitions (inspired from math-classes)