单泛代数

simple universal algebra