Order Filter of Poset
Hi,
I have a finite Poset and would list to find all Order Filters of the Poset with a particular cardinality. Is there a way to do this without having to iterate over all Order Filters of my Poset? My Poset can have lots of elements, so if I were to iterate over all order filters generated by all subsets of those elements, it may take a long time.