العلاقة ع تسمى علاقة انعكاس إذا كان لجميع قيم س تنتمي ل أ ، فإن (س ، س ) تنتمي ل ع
العلاقة ع تسمى علاقة انعكاس إذا كان لكل ( س ، ص ) تنتمي ل ع فإن ( ص ، س ) تنتمي ل ع
العلاقة ع تسمى علاقة تعدي إذا كان لكل ( س ، ص ) تنتمي ل ع و ( ص ، ل) تنتمي ل ع ، فإن ( س ، ل ) تنتمي ل ع
وتسمى العلاقة علاقة تكافؤ إذا حققت جميع الخواص السابقة
انعكاسية فقط { ( 3،3 ) ، ( 4 ، 4 ) ، ( 5 ، 5 ) ، (3 ، 4 ) }
تماثل وانعكاس = { ( 3،3 ) ، ( 4 ، 4 ) ، ( 5 ، 5 ) }
تمائل فقط = { ( 3 ،4 ) ، ( 4 ، 3 ) }
تكافؤ = { ( 3،3 ) ، ( 4 ، 4 ) ، ( 5 ، 5 ) ، ( 3 ،4 ) ، ( 4 ، 3 ) }