The open interval between $a$ and $b$ is the subposet of $P$ induced by the elements $z$ such that $p < z < q$. If $a$ and $b$ are incomparable, then an error is thrown.
|
|
The object openInterval is a method function.