Matematikte, iki şey ancak ve ancak her yönden tamamen aynı ise eşittir. Yani, aynı (matematiksel) değere ve aynı matematiksel özelliklere sahiptirler. Matematikçiler bunu söylemek için eşittir işaretini (=) kullanırlar. Bu, ikili bir ilişki olan eşitliği tanımlar. "x = y" ifadesi x ve y'nin eşit olduğu anlamına gelir.
Daha genel bir anlamda denklik, iki küme arasında bir denklik ilişkisinin oluşturulmasıyla sağlanır, yani iki küme tamamen aynı elemanlara sahiptir. Kümelerin eşit olması için sonlu olması gerekmez. İki ifadenin eşit nicelikleri gösterdiğine dair bir ifade bir denklemdir. Denklemler eşittir. Eşitsizlikler eşit değildir.
Bir yüklem doğru olan bir şeyi tanımlamanın bir yolu olduğundan, bunu söylemenin başka bir yolu da, bir değişken hakkında doğru olan ancak diğer değişken hakkında doğru olmayan bir şey bulabilirseniz, matematiksel mantık söz konusu olduğunda, bunlar eşit değildir.
Bunu söylemenin basit bir yolu şudur: iki şey eşitse, bunlardan biri hakkında doğru olan her şey diğeri hakkında da doğru olmak zorundadır.
Geometride genellikle kongrüans kelimesi tercih edilir. Sayılar eşittir, geometrik nesneler uyumludur. İki şekil, biri diğerinin olduğu yere tam olarak oturacak şekilde hareket ettirilebiliyor veya döndürülebiliyorsa uyumludur. İki nesneden birini küçültmeniz veya büyütmeniz gerekiyorsa, bunlar uyumlu değildir. Benzer olarak adlandırılırlar
Bilgisayar bilimlerinde genellikle matematiksel tanım kullanılır. Çoğu zaman, karşılaştırma == olarak yazılır (ve atama, yani bir değer verme, = veya := olarak yazılır). Nesne yönelimli dillerde ya da işaretçilere sahip dillerde ek bir sorun vardır. Bu diller referanslar içerir (bunlar aslında işaretçilerdir). Bu tür iki referans tam olarak aynı nesneye referans vermiyorsa, farklıdırlar. a == b bu durumda yanlış olacaktır.
Bu nedenle, bu tür birçok dil başka bir işleç getirmiştir (Java'da bu yönteme equals denir). Bu operatör nesnelerin gerçek değerlerini karşılaştırır, onları referans alan değişkenlerin işaret ettiği yerleri değil.
Sosyal bilimlerde, iki kişi hakkında aynı şeylerin çoğu doğruysa bu kişiler eşittir. Aynı miktarda eğitim ve paraya sahip olan ve aynı yaşta olan iki kişi genellikle birbirlerini eşit olarak düşünürler. Başka bir kişiye eşit olan bir kişinin bir diğer adı da akranıdır.