I, a list, containing all elements less than or equal to at least one of the given elements
Description
The order ideal of a given set of elements of a poset is all the elements in the poset which are less than or equal to at least one of the elements in the given set.