Suodatin (joukko-oppi)
 |
Tätä artikkelia tai sen osaa on pyydetty parannettavaksi, koska se ei täytä Wikipedian laatuvaatimuksia. Voit auttaa Wikipediaa parantamalla artikkelia tai merkitsemällä ongelmat tarkemmin. Lisää tietoa saattaa olla keskustelusivulla. Tarkennus: Tarkenna korjauspyyntöä tai poista tarpeeton korjauspyyntö |
Joukon S filtteri on epätyhjä perhe D osajoukko P(S) (potenssijoukko), jolle on voimassa seuraavat ehdot:
1. tyhjäjoukko ei kuulu D:hen,
2. Jos A,B kuuluu D:hen, A leikkaus B kuuluu D:hen.
3. Jos A kuuluu D:hen ja A osajoukko B osajoukko S niin B kuuluu D:hen-
Joukon S ultrafiltteri on S:n filtteri D, jos jokaisella A osajoukko S joko A kuuluu D:hen tai S\A kuuluu D:hen.