Exercises for Appendix 0. Characterization of terms and relations
Bourbaki sets these at the end of Appendix 0. Characterization of terms and relations.
8 exercises, 1 of them with a solution. Every solution here is machine-written and machine-judged and is not Bourbaki's.
- Exercise 1 solution
- Exercise 2
- Exercise 3
- Exercise 4 harder
- Exercise 5
- Exercise 6
- Exercise 7 harder
- Exercise 8 harder