structure in model theory
type in model theory
stability in model theory, geometric stability theory
definable set, definable groupoid
A class KK of structures of a given signature is an elementary class if there is a first-order theory TT such that KK consists precisely of all models of TT.
There is a vast generalizations for higher-order theories (and more) abstract elementary class, metric abstract elementary class.