Anothr Definition of OrderSorted Algebra

Abstract
In this paper the definition of ordersorted algebra is generalized by introducing transformation functions between subtypes and supertypes. According to our definition, a type needn'tbe a subset of its supertype and a record model may form an ordersorted algebra. A newdefinition of equation is given. It has also been proved that equational theories and describingsingle inheritance have the initial model.

