Na definição de topologia temos que dado um conjunto X, X e o conjunto
nulo O pertencem ao conjunto das partes de X, o conjunto P={t_k} tal que
t_k pertence a X.
Alguém conhece algum conjunto X que não pertença a P ?
Por quê tenho pra mim que se X não faz parte do conjunto de suas partes,
então X não pertence a si mesmo, e se não existe tal conjunto, então
este requisito da topologia é uma coisa redundante.
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~obmlistas/obm-l.html
=========================================================================