An abstract elementary class is a class of structures of the same vocabulary (like a class of rings, or a class of fields), with a partial order that generalizes the relation "A is a substructure (or... This description may be from another edition of this product.