שינויים

יהיו <math>(A,\leq),(B,\pereqperceq)</math> שני יחסי סדר משווים

# יחס המכפלה על <math>A\times B</math> הוא משווה.# היחס המילוני על <math>A\times B</math> הוא משווה.