elementary class

class consisting of all structures satisfying a fixed first-order theory

زمرے: