Section 8.1 (01R4): Reflexive Relations

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`

8.1 Reflexive Relations

Subsection 8.1.1: Foundations
- Definition 8.1.1.1.1: Reflexive Relations
- Remark 8.1.1.1.2: Unwinding Definition 8.1.1.1.1
- Definition 8.1.1.1.3: The Po/Set of Reflexive Relations on a Set
- Proposition 8.1.1.1.4: Properties of Reflexive Relations
Subsection 8.1.2: The Reflexive Closure of a Relation
- Definition 8.1.2.1.1: The Reflexive Closure of a Relation
- Construction 8.1.2.1.2: The Reflexive Closure of a Relation
- Proposition 8.1.2.1.3: Properties of the Reflexive Closure of a Relation

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

You can also use the contact form below: