Un módulo de sistema en Maude especifica una teoría de reescritura.