În matematică, două lucruri sunt egale dacă și numai dacă sunt exact la fel din toate punctele de vedere. Adică, au aceeași valoare (matematică) și aceleași proprietăți matematice. Matematicienii folosesc semnul egal (=) pentru a spune acest lucru. Acest lucru definește o relație binară, egalitatea. Afirmația "x = y" înseamnă că x și y sunt egale.

Echivalența într-un sens mai general este asigurată prin construirea unei relații de echivalență între două obiecte matematice, adică două obiecte matematice sunt echivalente dacă sunt legate prin această relație. Caz în care, echivalența este adesea reprezentată cu ajutorul simbolurilor ∼ {\displaystyle \sim }{\displaystyle \sim } sau {\displaystyle \equiv }.

O afirmație conform căreia două expresii desemnează cantități egale este o ecuație (sau o egalitate). Ecuațiile sunt egale. Inegalitățile sunt inegale.

O egalitate este, de asemenea, o relație tranzitivă. Aceasta înseamnă că, dacă un obiect este egal cu un al doilea obiect, iar al doilea obiect este egal cu un al treilea obiect, atunci primul obiect este egal și cu al treilea obiect.

Deoarece un predicat este un mod de a descrie ceva care este adevărat, un alt mod de a spune acest lucru este că, dacă un lucru care este adevărat despre o variabilă nu este adevărat despre cealaltă variabilă, atunci acestea nu sunt egale în ceea ce privește logica matematică: două lucruri sunt egale doar dacă orice lucru care este adevărat despre unul trebuie să fie adevărat despre celălalt.

În geometrie, se preferă adesea cuvântul congruență. Numerele sunt egale, obiectele geometrice sunt congruente. Două forme sunt congruente dacă una dintre ele poate fi mutată sau rotită astfel încât să se potrivească exact acolo unde se află cealaltă. Dacă este necesară micșorarea sau mărirea unuia dintre cele două obiecte, atunci acestea nu sunt congruente. În schimb, ele sunt numite similare. Relația de congruență este adesea reprezentată prin simbolul ≅ {\displaystyle \cong } {\displaystyle \cong }, în timp ce relația de similitudine este reprezentată prin simbolul ∼ {\displaystyle \sim } {\displaystyle \sim }.

În informatică, de obicei, se folosește definiția matematică. Foarte des, comparația se scrie == (iar atribuirea, adică acțiunea de a da o valoare, se scrie = sau :=). În limbajele orientate pe obiecte sau în limbajele care au pointeri, există o problemă suplimentară. Aceste limbaje conțin referințe (care sunt, de fapt, pointeri). Dacă două astfel de referințe nu fac referire exact la același obiect, atunci ele sunt diferite, iar a == b va fi fals în acest caz.

Din acest motiv, multe astfel de limbaje au introdus un alt operator (în Java, această metodă se numește equals). Acest operator compară valorile efective ale obiectelor - și nu unde indică variabilele care fac referire la ele.

În științele sociale, două persoane sunt egale dacă multe dintre aceleași lucruri sunt adevărate despre ele. De exemplu, două persoane care au aceeași educație și aceeași sumă de bani și care sunt de aceeași vârstă se consideră, de obicei, egale între ele. Un alt nume pentru o persoană care este egală cu o altă persoană este egal.