up previous next
PosetDual    --    dual of a poset from the relations of the poset


Syntax 
PosetDual(relP: LIST): LIST

Description
This function returns the dual from the list relP of the strict relations in a poset.

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

See Also