abstract elementary class
class of models with a partial order similar to the relation of an elementary substructure of an elementary class in first-order model theory
tame abstract elementary class
abstract elementary class which satisfies a locality property for types