Law of Identity

A fundamental logical principle stating that every object or proposition is identical to itself; formalized in predicate logic as the reflexivity axiom x = x for an identity predicate, and in propositional logic as the tautology p ⇒ p (or p ↔ p).