Between matrices, "reduces to" is an equivalence
relation.
An equivalence relation is one such that
- A is equivalent to itself (reflective)
- A is equivalent to B iff B is equivalent
to A (symmetric)
- If A is equivalent to B and B is equivalent
to C, then A is equivalent to C
(transitive)