In this chapter, we shall consider in some detail the algebraic structure which will be of primary concern to us throughout, namely the notion of a group. Actually the reader has come in contact, during his or her mathematical career, with specific examples of groups as will be seen by the examples we shall give. All these examples have features in common which are desirable to axiomatize. When we prove results for the general structure, they apply automatically to all the specific examples.