Mediante el axioma de extensionalidad y el axioma del par puede demostrarse que este término define un conjunto, con la propiedad característica del par ordenado.