Suodatin (joukko-oppi)

Wikipediasta
Tämä on arkistoitu versio sivusta sellaisena, kuin se oli 14. maaliskuuta 2008 kello 18.01 käyttäjän 81.197.84.186 (keskustelu) muokkauksen jälkeen. Sivu saattaa erota merkittävästi tuoreimmasta versiosta.
Siirry navigaatioon Siirry hakuun

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. [[Luokka:Joukko-oppi