Apartness Relation

trends
SeptemberOctoberNovemberDecember2021February0500
Wikipedia creation date
11/8/2006
Wikipedia incoming links count
Wikipedia opening text
In constructive mathematics, an apartness relation is a constructive form of inequality, and is often taken to be more basic than equality. It is often written as # to distinguish from the negation of equality (the denial inequality) ≠, which is weaker.
Wikipedia redirect
Apartness relations
Apartness
Apart
Apart (song)
Wikipedia URL