Un conjunto A se dice ontológicamente cerrado cuando aplicando ciertas operaciones a un elemento cualquiera del conjunto A no se puede escapar de dicho A, por mucho que las repitamos. Estas operaciones son: diseminación de elementos o de totalización de las partes.
Ver también la entrada "cardinal inaccesible".
Cerrado
