up previous next
PosetMeet

meet between two elements of a poset from the relations of the poset

Syntax
PosetMeet(relP: LIST, N:INT,  M:INT): LIST

Description
This function returns the meet (i.e. the greatest lower bound) between the two elements N, M in the poset P from the list relP of its strict relations.

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

/**/ PosetMeet(relP, 2, 5);
[] --> if it does not exist!

See Also