La dualité est un principe mathématique selon lequel une déclaration vraie peut être obtenue à partir d'une autre en interchangeant deux mots. Parfois, la formulation d'une déclaration doit être modifiée pour que la déclaration double correspondante soit claire.
La dualité est une propriété qui appartient à la branche de la théorie des réseaux de l'algèbre. La théorie des réseaux est impliquée dans les concepts d'ordre et de structure, qui sont communs à différents systèmes mathématiques. Une structure mathématique est un treillis si elle peut être ordonnée d'une manière spécifiée. La géométrie projective, la théorie des ensembles et la logique symbolique ont des principes de dualité parce qu'elles ont des structures en treillis sous-jacentes. Si les résultats d'une structure à laquelle la dualité est appliquée tiennent dans les deux formations, cela s'appelle une formulation duale.
