En mathématiques constructives, une relation d'aparté est une forme constructive d'inégalité, souvent considérée comme plus fondamentale que l' égalité. Il est souvent écrit comme # pour distinguer de la négation de l' égalité (l'inégalité de déni) ≠, qui est plus faible.
