La dualidad es un principio matemático por el cual se puede obtener una declaración verdadera de otra mediante el intercambio de dos palabras. A veces es necesario modificar la redacción de una declaración para que la declaración dual correspondiente sea clara. >
La dualidad es una propiedad que pertenece a la rama de la teoría de celosía del álgebra. La teoría de celosía está involucrada con los conceptos de orden y estructura, que son comunes a diferentes sistemas matemáticos. Una estructura matemática es una celosía si se puede ordenar de una manera específica. La geometría proyectiva, la teoría de conjuntos y la lógica simbólica tienen principios de dualidad porque tienen estructuras de celosía subyacentes. Si los resultados de una estructura a la que se aplica la dualidad se mantienen en ambas formaciones, se denomina formulación dual.
