A reminder of some definitions

A reminder of some definitions ....


Here are some of the definitions we discussed, roughly in the order that we will encounter them.