Lexicographic Order Subsets, Here's a more formal de nition.