Son conjuntos compuestos, cuyos elementos dos equidistantes se obtienen por el producto cartesiano de los elementos de un conjunto uno equidistantes o por el producto cartesiano de los elementos de dos conjuntos uno equidistantes diferentes. Los elementos de conjuntos dos equidistantes son conmutativos.