Binarna relacija
U matematici, binarna relacija se definiše na nekom skupu A kao podskup njegovog Dekartovog proizvoda А x А. Dakle, to je skup nekih uređenih parova elemenata skupa А. Za elemente koji čine uređeni par kaže se da su u relaciji. Relacije mogu imati razna svojstva na nekom skupu: simetričnost, refleksivnost, tranzitivnost, antisimetričnost. Ukoliko zadovoljava prva tri svojstva, u pitanju je relacija ekvivalencije, a ako zadovoljava poslednja tri svojstva kaže se da je to relacija poretka.
Za elemente nekog skupa A, x i y, koji čine uređeni par, (x, y) se kaže da su u relaciji , ako što se infiksno zapisuje kao , ako elementi x i y zadovoljavaju uslove relacije. Na primer, uređeni par celih brojeva (3, 4) je u relaciji < (manje od), što se zapisuje kao 3 < 4, dok uređeni par (4, 3) ne zadovoljava tu relaciju, pa ne važi 4 < 3.
Pogodan način za predstavljanje binarnih relacija je usmereni graf. Binarna relacija se prikazuje u vidu grafa, tako što elemente skupa predstavljaju čvorovi grafa, a usmerenim granama se predstavljaju elementi koji su u relaciji (ako su elementi a i b u relaciji, onda se povlači grana od čvora a do čvora b).
