Cayley-Dickson construction produces a sequence of normed algebras over real numbers. Its consequent applications result in complex numbers , quaternions, octonions, etc. In this paper we formalize the construction and prove its basic properties. The notation and terminology used here have been introduced in the following We use the following convention: u, v, x, y, z, X, Y are sets and r, s ar...