Generalization of Decidable

general axioms for Preorders and Posets
instance for less-than-equal on Nat