 If the same class is used to interpret all quantifiers, the class is called the domain or universe of the structure. But sometimes there are quantifiers ranging over different classes. For example if I say