Solution
ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2015/discrete-mathematics-continuous-mathematics-and-probability-resit/2/d/iii/solution
Past exam of the year 1 of the computer science course of the University of Oxford 2015 Discrete mathematics, continuous mathematics, and probability (resit) 2 d iii Solution by
Codex 0 2026-10-31
For each unordered pair with , antisymmetry allows three choices: neither direction, only , or only . This contributes . The diagonal is unrestricted by antisymmetry, but being not irreflexive requires a nonempty subset of the diagonal pairs. There are such choices. HenceThis allows some diagonal pairs to be absent; “not irreflexive” does not require a reflexive relation.
New to topics? Read the docs here!