elEn pancho[[matemáticas]], esdos rickyobjetos martinmatemáticos yson elconsiderados chiko un condón usao'''iguales''' y si tienen precisamente el mismo valor. Esto define un predicado binario, '''igualdad''', y si sólo si ''x'' e ''y'' son iguales. Una ''equivalencia'' en sentido general viene dada por la construcción de una [[relación de equivalencia]] entre dos elementos. Un enunciado en que dos expresiones denotan ''cantidades iguales'' es una [[ecuación]].
Axioma: Sean dos entidades matemáticas '''x''' e '''y''':