d

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

For a binary relation , reflexivity means for every ; a symmetric relation satisfies for every ; an antisymmetric relation satisfies for every ; transitivity means for every ; an irreflexive relation satisfies for every . In particular, failure of reflexivity means at least one missing diagonal pair, whereas irreflexivity requires every diagonal pair to be missing.

New to topics? Read the docs here!