Autometrized Boolean Algebras II

Abstract

The writer [1] has previously examined the fundamental concepts of distance geometry in a Boolean algebra, B, with distance defined by . Any technical terms from distance geometry which are not defined in this paper may be found in [1]. A Boolean algebra bearing the given distance function is called an autometrized Boolean algebra. It is clear that the set of motions B (congruences of B with itself) form a group under substitution. This group we denote by M(B).