Conjuntos e Funções

Esse post é uma "continuação" do seguinte post: aqui. O texto se estendeu bastante e, devido às constantes atualizações, vou disponibilizar a pasta onde ele se encontra:

Conjuntos e Funções

O objetivo é ir, linearmente, de uma linguagem mais "prolixa" para uma mais direta (espero não ter realizado nenhum "salto" nesse sentido). Isso acontece, principalmente, nas demonstrações. Inicialmente tentei fazê-las o mais detalhadamente possível e, em vezes, "apelando" para a intuição, mas estou dando preferência para as mais concisas a medida que o texto avança.