set of all ordered pairs