The current Maude prelude includes two parameterized containers: lists and sets.
Figure 7.2 shows the relationships between the modules described in this section specifying parameterized lists and sets, including the theory TRIV. The module specifying sortable lists is not included in this figure, because its relationship is more complex than protecting importations (see later Figure 7.4).
Other container data types may be added to the Maude prelude in the future.
