שינויים
/* מכפלה קרטזית ויחסים */
===מכפלה קרטזית ויחסים===
<videoflash>wyDw5XXmPp8</videoflash>
====תכונות של יחסים====
*יהי 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 יחס מA לB (כלומר <math>R\subseteq A\times B</math>) אזי:
**R
===יחסי שקילות===
