define equal ordered pair