Ranked partially ordered set (source code)

= Ranked partially ordered set