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)