*-ring ≤ ring, * : A → A, * is antiautomorphism and an involution.(x + y)* = x* + y*(x y)* = y* x*1* = 1(x*)* = x
