Bourbaki

Exercises for § 1. Order relations. Ordered sets

Bourbaki sets these at the end of § 1. Order relations. Ordered sets.

24 exercises, 8 of them with a solution. Every solution here is machine-written and machine-judged and is not Bourbaki's.