Is a set of ordered pairs has no elements having the same first coordinates