שינויים
/* יחס סדר מילוני */
יהיו <math>(A,\leq),(B,\preceq)</math> שתי קבוצות סדורות חלקית.
על <math>A\times B</math> ניתן להגדיר את '''היחס המילוני''' <math>היחס המילוניR</math> ע"י
<math>(a_1,b_1)R(a_2,b_2)\iff (a_1 < a_2) \lor (a_1 = a_2 \land b_1 \preceq b_2)</math>
