Un conjunto unitario es el que tiene un sólo elemento. Como el pueblo de Buford, con un sólo habitante. Y aún así tiene su cartel que lo indica. Porque la cosa tiene su miga, la Teoría axiomática de conjuntos de Zermelo-Fraenkel deduce la existencia de conjuntos unitarios por el axioma de vinculación. Y dice cosas como que 1 y {1} no son lo mismo. Intuitivamente es sencillo, pero la lógica matemática requiere un profundo rigor. Que se lo digan, si no, al barbero de Bertrand Russell. Foto elmundo