Đối ngẫu là một nguyên tắc toán học, theo đó một câu lệnh đúng có thể nhận được từ một câu lệnh khác bằng cách hoán đổi hai từ. Đôi khi cần sửa đổi từ ngữ của một câu lệnh để câu lệnh kép tương ứng rõ ràng.
Đối ngẫu là một tính chất thuộc nhánh lý thuyết mạng của đại số. Lý thuyết mạng liên quan đến các khái niệm về trật tự và cấu trúc, phổ biến cho các hệ thống toán học khác nhau. Một cấu trúc toán học là một mạng tinh thể nếu nó có thể được sắp xếp theo một cách xác định. Hình học xạ ảnh, lý thuyết tập hợp và logic biểu tượng có các nguyên tắc đối ngẫu vì chúng có cấu trúc mạng tinh thể bên dưới. Nếu kết quả của cấu trúc mà tính đối ngẫu được áp dụng giữ nguyên trong cả hai công thức, thì nó được gọi là công thức kép.
