An algebraic theory consists of a collection of n-ary functional terms with additional rules (axioms).
This is opposed to geometric theory which involves partial functions (or binary relationships) or existential quantors - see e.g.