terminal homomorphism

Мат. терминальный гомоморфизм