In universal algebra, an abstract algebra "A" is called "simple" if and only if it has no nontrivial congruence relations, or equivalently, if every homomorphism with domain "A" is either injective or constant.