 In the same manner that the concept of Leibniz congruence leads to the concept of reduced matrix, the notion of Suszko congruence leads to the notion of Suszko-reduced matrix. A matrix model of \(\bL\) is Suszko-reduced if its Suszko congruence is the identity. Then the class of algebras of the Suszko-reduced matrix models of a logic \(\bL\) is another class of algebras that is taken as a natural class of algebras to associate with \(\bL\). It is the class 