In constructive mathematics, an apartness relation is a constructive form of inequality, and is often taken to be more basic than equality. An apartness relation is often written as # {\displaystyle \#} to distinguish from the negation of equality (the denial inequality), which is weaker.
In constructive mathematics, an apartness relation is a constructive form of inequality, and is often taken to be more basic than equality. An apartness relation is often written as # {\displaystyle \#} to distinguish from the negation of equality (the denial inequality), which is weaker.
Source: Wikipedia "Apartness relation" · CC BY-SA 4.0
Share this article: X · Bluesky