In mathematics, a *-ring is an associative ring with an antilinear, antiautomorphism * : A → A which is an involution.