שינויים
/* תכונות של יחסים */
**R נקרא אנטי-סימטרי אם לכל <math>a,b\in A</math> המקיימים <math>aRb\and bRa</math> מתקיים <math>a=b</math>
**R נקרא רפלקסיבי אם לכל <math>a,b,c\in A</math> המקיימים <math>aRb \and bRc</math> מתקיים <math>aRc</math>
**R נקרא מלא אם לכל <math>a,b\in A</math> מתקיים כי <math>aRb\or bRa</math>
*יהי R יחס מA לB (כלומר <math>R\subseteq A\times B</math>) אזי:
**Rנקרא חד-ערכי (ח"ע) אם לכל <math>a\in A</math> ולכל <math>b_1,b_2\in B</math> המקיימים <math>aRb_1 \and aRb_2</math> מתקיים <math>b_1=b_2</math>**R נקרא שלם אם לכל <math>a\in A</math> קיים <math>b\in B</math> כך ש <math>aRb</math>**R נקרא חד-חד-ערכי (חח"ע) אם לכל <math>a_1,a_2\in A</math> ולכל <math>b\in B</math> המקיימים <math>a_1Rb\and a_2Rb</math> מתקיים <math>a_1=a_2</math>**R נקרא על אם לכל <math>b\in B</math> קיים <math>a\in A</math> כך ש <math>aRb</math>
===יחסי שקילות===
