En mathématiques, deux choses sont égales si et seulement si elles sont exactement identiques à tous égards. C'est-à-dire qu'elles ont la même valeur (mathématique) et les mêmes propriétés mathématiques. Les mathématiciens utilisent le signe égal (=) pour le dire. Cela définit une relation binaire, l'égalité. L'énoncé "x = y" signifie que x et y sont égaux.
L'équivalence, dans un sens plus général, est assurée par la construction d'une relation d'équivalence entre deux ensembles, c'est-à-dire que les deux ensembles ont exactement les mêmes éléments. Il n'est pas nécessaire que les ensembles soient finis pour être égaux. L'affirmation selon laquelle deux expressions désignent des quantités égales est une équation. Les équations sont égales. Les inégalités sont inégales.
Comme un prédicat est une façon de décrire quelque chose de vrai, une autre façon de dire cela est que si vous pouvez trouver quelque chose de vrai sur une variable mais pas vrai sur l'autre variable, alors ils ne sont pas égaux, en ce qui concerne la logique mathématique.
Voici une façon simple de le dire : si deux choses sont égales, tout ce qui est vrai pour l'une d'entre elles doit l'être pour l'autre.
En géométrie, le mot congruence est souvent préféré. Les nombres sont égaux, les objets géométriques sont congruents. Deux formes sont congruentes si l'une d'entre elles peut être déplacée ou tournée de manière à s'adapter exactement à l'autre. Si vous devez rétrécir ou agrandir l'un des deux objets, ils ne sont pas congruents. On les appelle des objets similaires
En informatique, on utilise généralement la définition mathématique. Très souvent, la comparaison est écrite == (et le devoir, c'est-à-dire donner une valeur, est écrit =, ou :=). Dans les langages orientés objet, ou les langages qui ont des pointeurs, il y a un problème supplémentaire. Ces langages contiennent des références (qui sont en fait des pointeurs). Si deux de ces références ne font pas référence exactement au même objet, elles sont différentes. a == b sera faux, dans ce cas.
Pour cette raison, beaucoup de ces langues ont introduit un autre opérateur (en Java, cette méthode est appelée "equal"). Cet opérateur compare les valeurs réelles des objets, et non l'endroit où pointent les variables qui les référencent.
En sciences sociales, deux personnes sont égales si beaucoup de choses sont vraies à leur sujet. Deux personnes qui ont le même niveau d'éducation et d'argent et le même âge se considèrent généralement comme égales. Un autre nom pour une personne qui est égale à une autre personne est celui de pair.