Part of MISC-01 — Sets, Relations & Functions

Four Properties of Relations — Systematic Checking

by Notetube Official57 words9 views

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.

Like these notes? Save your own copy and start studying with NoteTube's AI tools.

Sign up free to clone these notes