Płonka Jerzy

On the sum of a system of disjoint unary algebras corresponding to a given type