What is the purpose of the predicate t(x, y, z): (x y) 2 = z?
a) Define a function
b) Solve a quadratic equation
c) Verify a mathematical identity
d) Graph a linear equation