C.1 INTRODUÇÃO
A teoria dos conjuntos é um dos principais pilares da matemática. A grande maioria dos conceitos utilizados em matemática e em ciência da computação pode ser adequadamente expressa na linguagem dos conjuntos. Por sua vez, operações podem ser aplicadas a conjuntos de modo a produzir novos conjuntos. A maior parte dos conjuntos que interessam para cientistas da computação é finita ou enumerável, mas ainda existe um grande número de conjuntos que possuem tantos elementos que não são passíveis de serem enumerados.