Î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 .
Tipuri de relații binare
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ă
Vezi și Produs cartezian Operație binară Închidere tranzitivă Graf Perpendicularitate
Categorie:Relații matematice