Como consecuencia de este axioma, podemos decir que dos conjuntos son iguales si se incluyen mutuamente.