define the following ordered pair