Resumo
Uma função cardinal é uma função definida na classe dos espaços topológicos (ou em alguma subclasse especificada) com valores na classe dos cardinais infinitos. Várias delas estendem noções fundamentais (como base enumerável, separabilidade, propriedade de líndelöf, etc.) para cardinalidades maiores, permitindo generalizações de resultados e formulações de comparações quantitativas precis…