By hypothesis, $b \preceq a$ and $a \preceq b$. A D286: Partial ordering relation is, particularly, an D289: Antisymmetric binary relation and therefore $a = b$. $\square$