We summarize the semantic foundations of Maude's functional, object-oriented, and system modules, including a brief discussion of parameterized modules. We first introduce the basic concepts of membership equational logic, whose initial algebras provide the mathematical semantics for functional modules. Then, we review the basic concepts of rewriting logic, whose initial models provide the mathematical semantics for object-oriented and system modules.