Transitivity of identity
Appearance
The transitivity of identity is the logical principle that, if A = B, and B = C, then A = C.
For example, if you know that the morning star is the same thing as the evening star, and you know that the evening star is Venus, you can conclude that the morning star is Venus.
See also: transitivity, identity