 One can think of the language \(L\) as the first-order language with predicate symbols \(\subseteq\) and =. The language is interpreted as talking about the subclasses of the class \(A\). In this language we can define: