An Equational Axiomatization for the Disjoint System of Post Algebras

It is shown that the class of Post algebras of finite order n is equationally definable where the only unary operators are the disoint operators C
i
, i = 0, 1,..., n -1.