1/9
Looks like no tags are added yet.
Name | Mastery | Learn | Test | Matching | Spaced | Call with Kai | Chat |
|---|
No analytics yet
Send a link to your students to track their progress
Relation
Subset that defines relations between elements between A and B
R is a subset of A x B
Thm #1
If R is a non=empty relation, R cannot be both reflexive and irreflexive
If R is a subset of A², Then R is Asymmetric if and only if R is antisymmetric and irreflexive
Proof with Antisymmetric First

Proof going the other direction

Simplification
When you destroy information, you drop the associativity symbol

Rules #1

Rules #2

Example of Transitivity

Equivalence Relation

When doing these proofs, assume the first part (the IF statement part is true) then prove the second part (After the “THEN” statement)
