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