Before revision: Definition Let be a first-order language, an -structure with domain , a fixed subset of , and m a natural number.
After revision: Definition Let be a first-order language, an -structure with doain , a fixed subset of , and m a natural number.