ein teil - Wähle ein Puzzle, um es zu lösen

In der konstruktiven Mathematik ist eine Apartness Relation eine konstruktive Form der Ungleichheit und wird oft als grundlegender als die Gleichheit betrachtet. Es wird oft als # geschrieben, um von der Negation der Gleichheit (der Verweigerungsungleichung) zu unterscheiden, die schwächer ist.