Answer:
Transitive property of equality
Explanation:
Let A be any non empty set and R is any subset of the Cartesian product A × A. Then, R is a relation on A.
The relation R is said to be a transitive relation if (a, b) ∈ R, (b, c) ∈ R, then (a, c) ∈ R.
It is given that ABC = DEF and DEF = XYZ, then ABC = XYZ.
This shows the transitive property of equality.