# Order Theory Tutorials

# Introduction

Order theory is a branch of mathematics that is often useful for programmers and computer scientists. For example, for reasoning about dependency graphs or subtyping relations. I wrote these tutorials for a math website that my friend started a while back. When the site was closed down, I moved these tutorials to my blog.

To understand these tutorials, you should be familiary with the following concepts:

- Proof by contradiction
- Proof by contrapositive
- Proof by vacuity (i.e. when a claim is
*vacuously true*) - How to prove two sets are equal

If you are not familiar with these concepts, read Mathematics: A Discrete Introduction by Ed Scheinerman.