Definition 41: We denote the negation of the equality (x = y) by means of the standard notation for negation of binary predicates: (x \neq y). We may express this by saying x and y are distinct or not equal.
A theoretical quest.
Definition 41: We denote the negation of the equality (x = y) by means of the standard notation for negation of binary predicates: (x \neq y). We may express this by saying x and y are distinct or not equal.