تعریف: هرگاه A و B دو مجموعه باشند آنگاه یک رابطه از A به B عبارت است از زیر مجموعه ای از A×B. زیر مجموعه های A×A را رابطه های روی A گویند.مثال: مجموعهٔ A={۱٬۲,۳٬۴,۶٬۱۲} مفروض است.نبوبه ازای هر دو عضو a,b که عضو مجموعه A باشند تعریف می کنیم:aRb هرگاه a|b.حال فرض کنید A یک مجموعه متناهی و R یک رابطه روی A باشد. به R گراف جهت دار G را به صورت زیر نسبت می دهیم.wiki: رابطه ها و گراف ها...