Dos conjuntos A y B son iguales cuando tienen exactamente los mismos elementos o, en otras palabras, lo son solo si cada uno de los elementos de A es a la vez elemento de B y si cada elemento de B también pertenece o está incluido en A.