Existirá uma fórmula fechada para os números que não são quadrados perfeitos? Como podemos construir bipartições do conjunto dos naturais partindo de sucessões crescentes? Quantos elementos tem a reunião de dois conjuntos finitos arbitrários que se intersectam?

Estas são algumas questões que veremos respondidas neste seminário e que nos mostrarão a importância da abstração, e de que modo a utilização de uma linguagem rica permite compreender a estrutura de problemas em Matemática.

Tomaremos como fio condutor a teoria da ordem que nos ajudará, através da introdução dos conceitos de Conexão de Galois e de Inversão de Möbius, a solucionar problemas de Teoria dos Números e de Combinatória de forma simples e elegante.