is
Examines each element, a_i starting at 0, and determines if all the elements are different (distinct) a_0 != a_1 != a_2, etc.
Return
true if all elements are distinct, if there are 0 elements then it returns false