User:Alec/Things not to forget/Order theory notes