Relations and modal operators

Yong Chan Kim

Abstract

We show that reflexive, transitive, symmetric relations can be induced by modal, necessity, sufficiency and co-sufficiency operators. We give their examples.