PosetRank(relP: LIST): INT
// POSET: // 3 4 // \ / // 2 // | // 1 /**/ relP := [[1, 2], [2, 3], [2, 4]]; /**/ PosetRank(relP); 2