Definition:Distinct

From ProofWiki

Jump to: navigation, search

The same thing as "different".

x and y are distinct iff x \ne y.


If x and y are distinct, then that means they can be distinguished, or "identified as being different from one another".

Or we can say that a distinction can be made between x and y.

Retrieved from "http://www.proofwiki.org/wiki/Definition:Distinct"
Personal tools