Reflexive: check (a,a) in R for every a. Symmetric: check if (a,b) in R implies (b,a) in R. Antisymmetric: check if (a,b) and (b,a) in R forces a = b. Transitive: check all chains (a,b) and (b,c) to verify (a,c) is in R. Systematic checking requires examining all relevant pairs — don't just test a few examples.
Part of MISC-01 — Sets, Relations & Functions
Four Properties of Relations — Systematic Checking
Like these notes? Save your own copy and start studying with NoteTube's AI tools.
Sign up free to clone these notes