Dimostrare teorema su Ultrafiltro libero in maniera semplice
Scrivere sezione su ultrafiltro limite
la nozione di "filtro principale" data qui non è coerente con quella della pagina "filtro". il teorema qui dice "ogni filtro principale è un ultrafiltro" andrebbe modificato con "ogni filtro principale è un ultrafiltro se e solo se è generato da un elemento"
sull'ultimo punto non sono d'accordo...infatti l'ultrafiltro è prima di tutto un filtro proprio, sono errate entrambe le asserzioni, si potrebbe dire invece "ultrafiltro è un filtro principale coprimo" (ovvero generato da un elemento coprimo)