  We prove that epimorphisms are surjective in certain categories of ordered
F-algebras. It then turns out that epimorphisms are also surjective in the
category of all (unordered) algebras of type F.
