De la Wikipedia, enciclopedia liberă
În matematică, o relație binară pe o mulțime A este o submulțime a produsului cartezian
al mulțimii A cu ea însăși. Este o relație de aritate doi.
Ca notație uzuală, dacă
este o relație, în loc de a scrie
, se scrie
.
O relație binară
se numește:
- reflexivă, dacă

- antireflexivă, dacă

- simetrică, dacă

- antisimetrică, dacă
,
și
implică 
- tranzitivă, dacă
,
și
implică 
- de echivalență, dacă este reflexivă, simetrică și tranzitivă
- de preordine dacă este reflexivă și tranzitivă
- de ordine, dacă este reflexivă, antisimetrică și tranzitivă
- de ordine totală, dacă este relație de ordine și
,
sau 
- relație de bună ordonare, dacă este relație de ordine totală și, în plus, orice submulțime nevidă a lui A posedă un minim (
)
- de ordine strictă, dacă este antireflexivă și tranzitivă