1. В алгебрі та теорії категорій — відображення алгебричної структури (наприклад, кільця, алгебри або групи) на себе, яке є ізоморфізмом, але змінює порядок множення (тобто є антигомоморфізмом) та є інволюцією (його квадрат дорівнює тотожному відображенню). Формально для кільця R антиавтоморфізм φ задовольняє умови: φ(a+b) = φ(a) + φ(b), φ(ab) = φ(b)φ(a) та φ(φ(a)) = a для всіх a, b ∈ R.
2. У лінійній алгебрі та теорії матриць — бієктивне відображення лінійного простору або алгебри матриць на себе, яке є лінійним (або антилінійним) і обертає порядок множення матриць (транспонування з подальшим комплексним спряженням — приклад антиавтоморфізму для матриць).