The theory of finite sets with applications in geometry, designs, and computer science. Combinatorics, Graph Theory, Algebraic and Probabilistic Methods in Combinatorics.