This method simply creates a new poset Q with the minimal element a and the maximal element b. If a and b are unspecified, the elements 0 and 1 are used, respectively.
See also
adjoinMax -- computes the poset with a new maximum element
adjoinMin -- computes the poset with a new minimum element