Distinct elements (source code)

= Distinct elements

Elements are distinct when they are unequal.