1/6
Looks like no tags are added yet.
Name | Mastery | Learn | Test | Matching | Spaced | Call with Kai |
|---|
No study sessions yet.
Reflexivity
∀x ∈ S : x R x
Symmetry
∀x,y ∈ S : x R y ⇒ y R x
Transitivity
∀x,y,z ∈ S : [x R y ∧ y R z] ⇒ x R z
Antisymmetry
∀x,y ∈ S : [x R y ∧ y R x] ⇒ x = y
Totality
∀x,y ∈ S : x R y ∨ y R x
Injective

surjective
