Definition 1.2.3.  We define: