This glossary represents my current best understanding of these notions, and consolidates definitions from my own publications and working notes. Since others have found it useful in several different contexts, I now post it. Many of these definitions are not novel, though I have attempted to clarify the formal mathematical and computational definitions for nonmathematical readers. Similarly, I...