1. (Математика, алгебра) Відображення між двома алгебричними структурами (наприклад, групами, кільцями, ґратками), яке є бієктивним і зберігає операції, але змінює їх порядок (тобто є гомоморфізмом, що “обертає” множення). Якщо ізоморфізм f задовольняє умову f(a*b) = f(a)*f(b), то антиізоморфізм задовольняє умову f(a*b) = f(b)*f(a).
2. (Загальніше) Взаємно однозначна відповідність між двома структурованими об’єктами, яка зберігає відношення чи операції, але зі зміною їх напрямку чи порядку на протилежний.