Völlige Übereinstimmung; zweistellige Relation, in der jeder Gegenstand zu sich selbst und zu keinem anderen Gegenstand steht. Die Identitätsrelation ist eine Äquivalenzrelation, d. h. sie erfüllt folgende Bedingungen: für alle x gilt: x = x (Reflexivität); für alle x und y: wenn x = y, dann y = x (Symmetrie); für alle x, y, z: wenn x = y und y = z, dann x = z (Transitivität). Von anderen Äquivalenzrelationen (etwa der Kongruenz in der Geometrie) unterscheidet sich die Identität durch das so genannte Leibniz-Prinzip, das besagt, dass Gegenstände, zwischen denen die Identitätsrelation besteht, alle Eigenschaften gemeinsam haben. Auch die Umkehrung dieses Prinzips, das so genannte Prinzip der Identität des Ununterscheidbaren ist postuliert worden, nach dem Gegenstände, die alle Eigenschaften gemeinsam haben, miteinander identisch sind. In der Prädikatenlogik mit Identität, einer erweiterten Form der Prädikatenlogik erster Stufe, wird die Identitätsrelation als ausgezeichnete Relation betrachtet, das diese Relation bezeichnende Symbol = wird als logische Konstante eingeführt und es werden spezielle Axiome für die Identität angenommen, die der Reflexivität der Identitätsrelation und dem Leibniz-Prinzip entsprechen.