Metamath Proof Explorer


Table of Contents - 20.3.17.3. lambda and pi-Systems, Rings of Sets

Because they are not widely used outside of measure theory, we do not introduce specific definitions for lambda- and pi-systems. Instead, we define and respectively as the classes of pi- and lambda-systems in throughout this section.

  1. ispisys
  2. ispisys2
  3. inelpisys
  4. sigapisys
  5. isldsys
  6. pwldsys
  7. unelldsys
  8. sigaldsys
  9. ldsysgenld
  10. sigapildsyslem
  11. sigapildsys
  12. ldgenpisyslem1
  13. ldgenpisyslem2
  14. ldgenpisyslem3
  15. ldgenpisys
  16. dynkin
  17. isros
  18. rossspw
  19. 0elros
  20. unelros
  21. difelros
  22. inelros
  23. fiunelros
  24. issros
  25. srossspw
  26. 0elsros
  27. inelsros
  28. diffiunisros
  29. rossros