Figure 9.

(A) Cognitive process φ and the equivalence class derived from it. (B) X (left), K_*(X) (center), and K^*(X). (C) Hasse diagram of a lattice resulting from $K^{*}(K_{*}(X))=X$. An equivalence class with a certain color corresponds to an atom with the same color. Note that AB in the Hasse diagram is an abbreviation of A∪B.