Definition 4.1.2

Definition 4.1.2 The sum of two integers, \((a — b) + (c —d)\), is defined by the formula \((a — b) + (c —d) := (a + c)— (b + d)\). The product of two integers, \((a — b) × (c — d)\), is defined by \((a —b) × (c — d) := (ac + bd)— (ad + bc)\).