1.4 Definitions

This section contains notational conventions and definitions of terms used in this manual.