 A relation R is reflexive if each thing stands in R to itself. It is symmetrical if a's standing in R to b implies that b stands in R to a. It is transitive if a's standing in R to b and b's likewise standing in R to c together imply that a stands in R to c. Identity is trivially reflexive. Each thing trivially stands in the relation of identity to itself. That identity is also symmetrical and transitive follows from Leibniz's Law. Suppose identity fails to be symmetrical, and for some a and b, a is identical with b, but b is not identical with a. In that case, a has a property, being identical with b, which b fails to have. Suppose identity is not transitive, and, for some a, b and c, a is identical with b and b is identical with c, but a is not identical with c. In that case b has a property, being identical with c, that a lacks.