Special kind of lower sets of an order.