Hi, I have question that I can't solve:
R total orderr relation above A
S total order relation above B
T partial order relation above A×B
so that:
(a1,b1)T(a2,b2) ⇔ (a1Ra2∧a1≠a2)∨(b1Sb2∧a1=a2)
is T a total order realtion?
many thanks !!
Hi, I have question that I can't solve:
R total orderr relation above A
S total order relation above B
T partial order relation above A×B
so that:
(a1,b1)T(a2,b2) ⇔ (a1Ra2∧a1≠a2)∨(b1Sb2∧a1=a2)
is T a total order realtion?
many thanks !!