A GALOIS CORRESPONDENCE BETWEEN CLOSURE SPACES AND RELATIONAL SYSTEMS

Abstract

For each ordinal α < 1 we define a Galois correspondence between the category of closure spaces (i.e. sets endowed with an extensive and monotone closure operation taking value θ at θ) and the category of α-ary mono-relational systems. These correspondences are studied.