  We introduce discrete equational theories where operations are induced by
those having discrete arities. We characterize the corresponding monads as
monads preserving surjections. Using it, we prove Birkhoff type theorems for
categories of algebras of discrete theories. This extends known results from
metric spaces to general symmetric monoidal closed categories.
