Note: These notes were created back in the early days of
the web. They are probably now obsolete. Still, someone
may find them useful  - so they remain.

Let's start with some definitions...