¹If an analyst saw the equation AB = 1 for matrices A and B, then he might say that A and B satisfy the polynomial equation xy - 1 = 0. An algebraist would say that xy - 1 is a relation.