QUASI-MV ALGEBRAS. PART III
... at least one fixpoint for ′ , namely, the unique regular member of C. If any
other fixpoints exist, they also belong to C.
We choose arbitrarily some maximal set S of clouds that contains at
most one of each pair of twin clouds. In particular, the median cloud is not
a member of S, but, by maximality, ...