Prove that if binary relation is an interval order

36 Views Asked by At

Prove that if binary relation is an interval order, then $$ xPy \Rightarrow yP \subseteq xP. $$