Mathematical structures with finitely many elements where arithmetic operations follow specific rules.