Metamath Proof Explorer

Table of Contents - 20.39.19.1. σ-Algebras

Proofs for most of the theorems in section 111 of [Fremlin1]

1. csalg
2. df-salg
3. csalon
4. df-salon
5. csalgen
6. df-salgen
7. issal
8. pwsal
9. salunicl
10. saluncl
11. prsal
12. saldifcl
13. 0sal
14. salgenval
15. saliuncl
16. salincl
17. saluni
18. saliincl
19. saldifcl2
20. intsaluni
21. intsal
22. salgenn0
23. salgencl
24. issald
25. salexct
26. sssalgen
27. salgenss
28. salgenuni
29. issalgend
30. salexct2
31. unisalgen
32. dfsalgen2
33. salexct3
34. salgencntex
35. salgensscntex
36. issalnnd
37. dmvolsal
38. saldifcld
39. saluncld
40. salgencld
41. 0sald
42. iooborel
43. salincld
44. salunid
45. unisalgen2
46. bor1sal
47. iocborel
48. subsaliuncllem
49. subsaliuncl
50. subsalsal
51. subsaluni