 Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2017/discrete-mathematics-continuous-mathematics-and-probability/3/e/i/solution

A preorder is reflexive and transitive:

x R x

for every element, and

x R y, y R z

imply

x R z

. A partial order additionally requires antisymmetry:

x R y

and

y R x

imply

x = y

. It need not compare every pair of distinct elements.

 New to topics? Read the docs here!