OrderedQ[h[e1, e2, ...]] gives True if the are in canonical order, and False otherwise.
Order Signature Sort Ordering
400+ new features, including the new Wolfram Predictive Interface, social network analysis, enterprise CDF deployment, and more »