Section 7.1 (00TK): 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`

7.1 Reflexive Relations

Subsection 7.1.1: Foundations
- Definition 7.1.1.1.1: Reflexive Relations
- Remark 7.1.1.1.2: Unwinding Definition 7.1.1.1.1
- Definition 7.1.1.1.3: The Po/Set of Reflexive Relations on a Set
- Proposition 7.1.1.1.4: Properties of Reflexive Relations
Subsection 7.1.2: The Reflexive Closure of a Relation
- Definition 7.1.2.1.1: The Reflexive Closure of a Relation
- Construction 7.1.2.1.2: The Reflexive Closure of a Relation
- Proposition 7.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: