Bifunctional-elementary relation algebras (Q2655232)

The main theorem of a previous paper by the same author states that an atomic relation algebra is representable if for every atom \(a\), either \(a=a\mathop{;}1\mathop{;}a\) or else (1) there are exactly two atoms below \(a\mathop{;}1\mathop{;}a\) (namely, \(a\) itself and its relative complement \(a\mathop{;}1\mathop{;}a-a\)) and (2) exactly one of these two atoms is bifunctional. (An element \(x\) is functional if \(\breve{x}\mathop{;}x\leq1'\) and bifunctional if both \(x\) and \(\breve{x}\) are functional.) The main result of the current paper is that this theorem remains true if ``exactly one'' is replaced by ``at least one'' in condition~(2). It is an open problem to determine whether these results are still true if ``bifunctional'' is replaced by ``functional'' or if condition (2) is simply eliminated.