What is the ordered pairs?

A pair of elements a, b having the property that ( a, b) = (u, v ) if and only if a = u, b = v.