Kongruence v universálních algebrách - Tran, duc Mai (1972)