a parte - puzzle online

Nella matematica costruttiva, una relazione di apartness è una forma costruttiva di disuguaglianza, ed è spesso considerata più basilare dell'uguaglianza. È spesso scritto come # per distinguere dalla negazione dell'uguaglianza (la disuguaglianza di negazione) ≠, che è più debole.