C*-algebra, non-commutative topology, open projection, orthomodular lattice, partially residuated lattice, right residuated lattice.
