Fiz uma reforma geral na Seção 1.1 transformando algumas afirmações em exercícios. Um ambiente para a definição de função indicadora foi criado e marquei esta definição para ir para o índice remissivo