igualdade

Dois objetos matemáticos são iguais se e somente se são precisamente o mesmo em todo caminho. Isto define uma relação binária, igualdade, denotada pelo sinal de igualdade "=" em tal modo que a sentença "x = y" significa que x e y são iguais. Equivalência, em sentido mais geral, é provido pela construção de uma relação de equivalência entre dois conjuntos. Uma sentença que duas expressões denotam quantidades iguais é uma equação.