Metamath Proof Explorer

Table of Contents - 21.45.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. saliunclf
16. saliuncl
17. salincl
18. saluni
19. saliinclf
20. saliincl
21. saldifcl2
22. intsaluni
23. intsal
24. salgenn0
25. salgencl
26. issald
27. salexct
28. sssalgen
29. salgenss
30. salgenuni
31. issalgend
32. salexct2
33. unisalgen
34. dfsalgen2
35. salexct3
36. salgencntex
37. salgensscntex
38. issalnnd
39. dmvolsal
40. saldifcld
41. saluncld
42. salgencld
43. 0sald
44. iooborel
45. salincld
46. salunid
47. unisalgen2
48. bor1sal
49. iocborel
50. subsaliuncllem
51. subsaliuncl
52. subsalsal
53. subsaluni
54. salrestss