Rough sets determined by tolerances

Jouni Järvinen, Sándor Radeleczki

We show that for any tolerance $R$ on $U$, the ordered sets of lower and upper rough approximations determined by $R$ form ortholattices. These ortholattices are completely distrib…