10.1 Primordial Conditions on Relations
-
Subsection 10.1.1: Functional Relations
- Definition 10.1.1.1.1: Functional Relations
- Proposition 10.1.1.1.2: Properties of Functional Relations
-
Subsection 10.1.2: Total Relations
- Definition 10.1.2.1.1: Total Relations
- Proposition 10.1.2.1.2: Properties of Total Relations
-
Subsection 10.1.3: Injective Relations
- Definition 10.1.3.1.1: Injective Relations
- Warning 10.1.3.1.2: Injective Relations vs. Monomorphisms in $\mathsf{Rel}$
- Subsection 10.1.4: Surjective Relations
- Subsection 10.1.5: Bijective Relations
