Par ordenado
El par ordenado de dos conjuntos α y β es el par del singleton de α y el par {α,β}. Lo indicamos <α, β>. Tenemos entonces <α, β> = {{α},{α, β}}.
El par ordenado fija a la vez su composición y su orden. Los "lugares" de α y β -primer o segundo lugar- son determinados. Es lo que permite pensar como puros múltiples las nociones de relación y función.
(El ser y el acontecimiento: diccionario final de la edición argentina en edit. manantial)
