Urutan Leksikografis

If "Y" is also well-ordered and "X" is finite, then the resulting order is a well-order. As already shown above, if "X" is infinite this is in general not the case.