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
--Agreed Upon Solutions

The discussion does not exist would you like to add the first comment?

anonymous