Are two elements always in a relation within a partially ordered set?
In a partially ordered set, there may be members which are not comparable. A partial order where all elements are comparable is called a total order.

We say $a$ and $b$ are comparable when at least one of the following holds: 


$a\leq b$,
$b \leq a$.