approximations of a set X. Originally, this relation was assumed to be an equivalence
relation. This research focuses on using tolerance relations instead of equivalences, ie we
do not assume the transitivity of the relations. More specifically, in this paper we investigate
tolerances induced by irredundant coverings. We characterize the interrelation between the
lattices of lower and upper approximations of such tolerances R and. The theory of Formal …