What is this? It seems alittle confusing compared to other forms of ordering.
If we have Lex. ordering on r on A X B determined by linear order r1 on A and r2 on B. Then it would be true that if both r1 and r2 are well founded then so is r. Correct?