Rank function of a partially ordered set (source code)

= Rank function of a partially ordered set

= poset rank
{synonym}