It is in this reductionist context that Kuratowski develops his very general theory of maximal inclusion orderings, which shows, in effect, that all orderings on a can really be represented as inclusion orderings on appropriate subsets of the power set of a, thus reducing ordering to Zermelo's primitive relation ε.