and that is assumed to implement a strict weak ordering. See also − the equivalent subsets in the finest weak ordering consistent with a given relation References Binary relations Integer sequences Order theory