Notions from rough set theory in a generalized dependency relation context

In this paper, we introduce a notion of generalized dependency relation between subsets of an arbitrary (not necessarily finite) set Ω starting with the classical Armstrong's rule. More specifically, we fix a given set system F on Ω and call any transitive binary relation ← on the power set P(Ω) such that