La afirmación recíproca —dos conjuntos iguales tienen los mismos elementos— es un teorema lógico.