Si formula_1 es un conjunto, una colección formula_2 no vacía de subconjuntos del producto cartesiano formula_3 es llamada una estructura uniforme en formula_1 si se satisfacen los siguientes axiomas: