A discrete duality is a relationship between classes of algebras and classes of relational systems (frames) resulting in two representation theorems building on the early work of Jónsson and Tarski, Kripke, and van Benthem. In this section we recall discrete dualities for various types of algebras arising from rough sets.

翻译：离散对偶性是代数类与关系系统类（框架类）之间的一种关联关系，它建立在Jónsson与Tarski、Kripke以及van Benthem早期工作的基础上，最终形成两个表示定理。本节将回顾由粗糙集衍生的各类代数所对应的离散对偶性。