lower set

To check whether a subset is a lower set, verify that whenever it contains an element it also contains every element less than that element.