More formal definition of some concepts, plus a few examples.