On a Special Case of the Flexible Atom Conjecture

Abstract

A relation algebra is an algebra A = 〈A,+,−, ;, ̆ , 1’ 〉 of type (2, 1, 2, 1, 0), such that 〈A,+,− 〉 is a boolean algebra, 〈A, ;, ̆ , 1’ 〉 is an involuted monoid, and which satisfies the cycle law (x; y) · z 6 = 0 ⇐ ⇒ (z; y̆) · x 6 =