Añadido símbolo de conjunto vacío