The filtration of $P$ is a partitioning $F$ of the vertices such that $F_0$ is the set of minimal elements of $P$, $F_1$ is the set of minimal elements of $P - F_0$, and so forth.
|
|
The filtration of a ranked poset is the same as the ranking of the poset.
|
|
|
|
The flatten of the filtration is a linear extension of the poset.
|
This method was ported from John Stembridge's Maple package available at http://www.math.lsa.umich.edu/~jrs/maple.html#posets.
The object filtration is a method function.