Many Sorted Quotient Algebra
Ma lgorzata Korolkiewicz · 2007
Summary. This article introduces the construction of a many sorted quotient algebra. A few preliminary notions such as a many sorted relation, a many sorted equivalence relation, a many sorted congruence and the set of all classes of a many sorted relation are also formulated.