The relation between rough set algebra and lattice implication algebra was studied, and
the method of constructing lattice implication algebra from rough set algebra was presented. Based
on the atoms and congruence relations of approximation algebra, it is proved that rough set algebra
becomes lattice implication algebra if proper implication and complement operators are selected.