Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Order Filter of Poset


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.