Ordered subsets over a predefined domain