שינויים
/* תכונות של יחסים על קבוצה */
*יחס 'שיוויון' הינו רפלקסיבי, סימטרי וטרנזיטיבי
*יחס 'קטן שווה' הינו רפלקסיבי וטרנזיטיבי
*יחס 'קטן ממש' הינו טרנזיטיביואנטי-סימטרי
*יחס 'שיוויון מודולו n' הינו רפלקסיבי, סימטרי וטרנזיטיבי
*יחס 'הכלה' הינו רפלקסיבי וטרנזיטיבי, טרנזיטיבי ואנטי-סימטרי
*יחס 'a מחלק את b' הינו רפלקסיבי וטרנזיטיבי
*יחס 'אדם x שמע על אדם y' הינו רפלקסיבי
