加法性と半斉次性を合わせて、逆転性と対合性は合わせて*-環としての対合性を表す。