The library of predefined modules provided by Maude in the prelude.maude file includes some well-known parameterized data types that will be described in the following sections. Here we will introduce the standard theories that provide the requirements for those parameterized modules.