Definition:Distinct

The same thing as "different".

$$x$$ and $$y$$ are distinct iff $$x \ne y$$.