ABSTRACT
An algebra A is called finite when its universe A is finite and every fundamental operation is finitary. Finite algebras are important in many areas where finiteness plays a crucial role, for instance in Computer Science. A major area of research activity has been to try to classify all finite algebras of a given type. For instance, the classification of all finite groups has been a longstanding mathematical problem.
