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