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.