Winda

Introduces sorting and its uses, then defines total order through trichotomy and transitivity, with divisibility as a counterexample.

Save to open this file