Бинарна релација
У математици, бинарна релација се дефинише на неком скупу A као подскуп његовог Декартовог производа А x А. Дакле, то је скуп неких уређених парова елемената скупа А. За елементе који чине уређени пар каже се да су у релацији. Релације могу имати разна својства на неком скупу: симетричност, рефлексивност, транзитивност, антисиметричност. Уколико задовољава прва три својства, у питању је релација еквиваленције, а ако задовољава последња три својства каже се да је то релација поретка.
За елементе неког скупа A, x и y, који чине уређени пар, (x, y) се каже да су у релацији , ако што се инфиксно записује као , ако елементи x и y задовољавају услове релације. На пример, уређени пар целих бројева (3, 4) је у релацији < (мање од), што се записује као 3 < 4, док уређени пар (4, 3) не задовољава ту релацију, па не важи 4 < 3.
Погодан начин за представљање бинарних релација је усмерени граф. Бинарна релација се приказује у виду графа, тако што елементе скупа представљају чворови графа, а усмереним гранама се представљају елементи који су у релацији (ако су елементи a и b у релацији, онда се повлачи грана од чвора a до чвора b).
