Antes incluso de introducir los axiomas que nos permitirán construir conjuntos, podemos definir otra relación entre conjuntos, basándonos en la relación de pertenencia.