Se supone que el lector conoce la Teoría Intuitiva de Conjuntos, en particular el significado intuitivo de la unión de conjuntos, la intersección de conjuntos, la diferencia de conjuntos, el concepto de relación, de relación de equivalencia, de relación de orden, de aplicación entre conjuntos, de aplicación inyectiva, de aplicación sobreyectiva y de aplicación biyectiva y el de inducción matemática.