A GALOIS CORRESPONDENCE BETWEEN CLOSURE SPACES AND RELATIONAL SYSTEMS

摘要

For each ordinal #x3B1; 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 #x3B8; at #x3B8;) and the category of #x3B1;-ary mono-relational systems. These correspondences are studied.