7In Section 15.3.2, we shall introduce the notion of parameterized views, a more convenient way of defining this kind of structures. Currently, parameterized views are only available in Full Maude.