ordered pair set definition