ordered pair のアレ