Total Order between sets.

85 Views Asked by At

If I have two streams x1 and x2 and I define a prefix ordering on them such that,

x1 <| x2 :⇔ x1=x2 V ∃β ∈ streams that x1.β = x2.

Are they in Partial Order as well as in total order?