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?
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?
Copyright © 2021 JogjaFile Inc.