In this note, it is shown that the set of kernel ideals of a K n, 0-algebra L is a complete Heyting algebra, and the largest congruence on L such that the given kernel ideal as its congruence class is derived and finally, the necessary and sufficient conditions that such a congruence is pro-boolean are given.