Se repasa el concepto de cardinal para conjuntos finitos. Se define la función inversa de una función biyectiva y la composición de funciones. Luego se prueba que dos conjuntos finitos tienen igual cardinal si y solo si existe una función biyectiva entre ellos. Se presenta el enunciado del Teorema de Bernstein. Por último se presenta el concepto de conjunto numerable (seguido de ejemplos de conjuntos que son numerables).