une part - choisir un puzzle à résoudre

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.