ordered pairs function definition