Apresenta conjuntos, subconjuntos, operações, produtos cartesianos, relações e cardinalidade. Diagramas e exemplos concretos preparam o terreno para lógica e estruturas abstratas.