We observe that two types of congruence are introduced in a distributive lattice, one in terms of ideals generated by derivations and the other in terms of images of derivations. Also we undertake an equivalent condition ...