If $x$ and $y$ are distinct, then that means they can be distinguished, or identified as being different from each other.
Also defined as
Some sources restrict the scope of this definition to mean not numerically equal.
Also known as
Distinct means the same thing as different.
If $x$ and $y$ are distinct then:
- a distinction can be made between $x$ and $y$
- $x$ is distinct from $y$; $y$ is distinct from $x$; $x$ and $y$ are distinct from each other.