Once More on Order-Sorted Algebras

A new definition of order-sorted algebras is given which unifies the approaches to be found in the literature. We claim that some conceptual clarification is obtained without losing out on technical simplicity. The corresponding theory is developed and related to the literature. Specifically, we prove completeness with regard to an appropriate deduction system.