שינויים
/* תכונות של יחסים */
====תכונות של יחסים====
*יהי R יחס על A (כלומר <math>R\subseteq A\times A</math>) אזי:
**R נקרא רפקסיבי רפלקסיבי אם לכל <math>a\in A</math> מתקיים <math>aRa</math>.
**R נקרא סימטרי אם לכל <math>a,b\in A</math> המקיימים <math>aRb</math> מתקיים <math>bRa</math>
**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>
