Section 7.4 (00V8): Equivalence Relations — The Clowder Project

Preferences

Font:

PDF Style:

Here's a breakdown of the differences between each PDF style:

Style	Class	Font	Theorem Environments
Style 1	`book`	Alegreya Sans	`tcbthm`
Style 2	`book`	Alegreya Sans	`amsthm`
Style 3	`book`	Arno*	`amsthm`
Style 4	`book`	Computer Modern	`amsthm`

*To be replaced with Linus Romer's Elemaints when it is released.

Table of Contents
Part 2: Relations
Chapter 7: Equivalence Relations and Apartness Relations
Section 7.4: Equivalence Relations (cite)

7.4 Equivalence Relations

Subsection 7.4.1: Foundations
- Definition 7.4.1.1.1: Equivalence Relations
- Example 7.4.1.1.2: The Kernel of a Function
- Definition 7.4.1.1.3: The Po/Set of Equivalence Relations on a Set
Subsection 7.4.2: The Equivalence Closure of a Relation
- Definition 7.4.2.1.1: The Equivalence Closure of a Relation
- Construction 7.4.2.1.2: The Equivalence Closure of a Relation
- Proposition 7.4.2.1.3: Properties of Equivalence Relations

Noticed something off, or have any comments? Feel free to reach out!

You can also use the contact form below: