F, a list, containing all elements greater than or equal to at least one of the given elements
Description
The filter of a given set of elements of a poset is all the elements in the poset which are greater than or equal to at least one of the elements in the given set.