 Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2003/calculus-probability-linear-algebra-discrete-mathematics-logic-and-proof-and-models-of-computation/6/a/v/solution

The “same age” binary relation is a Euclidean relation, with age understood as one consistently measured value at a fixed time. If

x

has the same age as both

y

and

z

, the ages of

y

and

z

are equal. Hence

same age is Euclidean .

This is another instance of equality of the values of a function inducing an equivalence relation.

 New to topics? Read the docs here!