概逆や斜随伴の定義には、どうも勘違いがあった。概逆って概念はいいのだけど、もっと強い定義ができる。正錐（positive cone）を持つ半加群を考えて、正元を正元に移す線形（加法的）作用素を正作用素と呼ぶことにする。正作用素Aに対して、正元に限れば完…