We introduce Boolean proximity algebras as a generalization of Efremovič proximities which are suitable in reasoning about
discrete regions. Following Stone’s representation theorem for Boolean algebras, it is shown that each such algebra is isomorphic
to a substructure of a complete and atomic Boolean proximity algebra.
Keywords Proximity algebras - Discrete spaces - Qualitative spatial reasoning
Mathematics Subject Classifications (2000) 03G05 - 06E25 - 68T30
Co-operation was supported by EC COST Action 274 “Theory and Applications of Relational Structures as Knowledge Instruments”
(TARSKI), www.tarski.org, and NATO Collaborative Linkage Grant PST.CLG 977641.