Esta definición de par ordenado la dio Weiner en 1914.