 Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2023/discrete-mathematics-probability-and-continuous-mathematics/1/c/i/2/solution

S

is an element

u \in A

such that

s ⪯ u

for every

s \in S

, and such that

u ⪯ v

for every other upper bound

v \in A

S

. It need not belong to

S

. The antisymmetric relation axiom makes it unique whenever it exists.

 New to topics? Read the docs here!