 Finite axiomatization

A finite axiomatization of a class of structures is a finite set of first-order sentences whose first-order models are exactly that class. The existence of such a set is finite axiomatizability.