ordered pair that defines relation