Transitivity

If x equals y, and y equals z, the x equals z. If an object equals a second, and the second equals a third, the first must equal the third.