Part Teoría de conjuntos, funciones, familias y cardinalidad

En el enfoque riguroso que vamos a presentar, todos los objetos matemáticos son conjuntos. Por ejemplo, si $A$ y $B$ son dos conjuntos, una vez establecido que el producto cartesiano de dos conjuntos es un conjunto (representado por $A\times B$), una función es un conjunto $f\subset A\times B$ tal que si $(a,b)\in f$ y $(a,c)\in f$, necesariamente $b=c$. Una sucesión de elementos de un conjunto $A$ es una función $x\subset\mathbb{N}\times A$.