  The present paper proposes a novel way to unify Rough Set Theory and Formal
Concept Analysis. Our method stems from results and insights developed in the
algebraic theory of modal logic, and is based on the idea that Pawlak's
original approximation spaces can be seen as special instances of enriched
formal contexts, i.e. relational structures based on formal contexts from
Formal Concept Analysis.
