 Definition 12 A general model is a pair \((\mm,\G)\), where \(\mm\) is a usual L-structure and \(\G\) is a set of subsets, relations (of any arity) and functions (of any arity) on M. In monadic second-order logic \(\G\) is assumed to contain unary predicates only.