We have argued that simple type theory is a kind of logic that is exceptionally well suited for reasoning about mathematics and, in particular, mathematical structures. So before we begin our study of Alonzo, our version of simple type theory, we need to look at several preliminary mathematical concepts.