Describir: Conjuntos generados por el axioma de cantor y su negacion