Page "Antihomomorphism" Paragraph 2

Formally, an antihomomorphism between X and Y is a homomorphism, where equals Y as a set, but has multiplication reversed: denoting the multiplication on Y as and the multiplication on as, we have.

The object is called the opposite object to Y.

( Respectively, opposite group, opposite algebra, etc.