We shall shortly be leaving these abstract considerations for the time being, but the idea to take forward is that various types of algebras have been defined where the collections under consideration need to satisfy a special set of algebraic rules. The reason why one particular arrangement of rules is the focus of attention is because certain important yet different collections of algebraic objects have been found to share these properties, and for that reason it is worthwhile studying particular types of algebra in full generality, groups, rings, and fields being three cases in point.