摘要

设S是完全0-单半群.首先给出了S上的共轭关系~n、~tr、~c、~p和~*p的完整刻画,然后在此基础上证明了~c=~n?~p?~*p=~tr.