Partition calculus 1 Introduction