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.
|
|
The object orderIdeal is a method function.