Suodatin (joukko-oppi)

Joukon S suodatin (tai suodin) on epätyhjän perheen D osajoukko P(S) (potenssijoukko), jolle on voimassa seuraavat neljä ehtoa:

  1. Joukko S kuuluu perheeseen D
  2. Tyhjäjoukko ei kuulu perheeseen D
  3. Jos joukot A ja B kuuluvat perheeseen D, niin joukkojen A ja B leikkaus kuuluu perheeseen D
  4. Jos A kuuluu D:hen ja A osajoukko B osajoukko S niin B kuuluu D:hen.

Joukon S ultrasuodatin on S:n suodatin D, jos jokaisella A osajoukko S joko A kuuluu D:hen tai S\A kuuluu D:hen.

Kirjallisuutta
  • Lipschutz, Seymour: Set Theory and Related Topics. McGraw-Hill, 1964. ISBN 0-07-037986-6.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.