Metamath Proof Explorer

Table of Contents - 12.1.2. Topological bases

1. ctb
2. df-bases
3. isbasisg
4. isbasis2g
5. isbasis3g
6. basis1
7. basis2
8. fiinbas
9. basdif0
10. baspartn
11. tgval
12. tgval2
13. eltg
14. eltg2
15. eltg2b
16. eltg4i
17. eltg3i
18. eltg3
19. tgval3
20. tg1
21. tg2
22. bastg
23. unitg
24. tgss
25. tgcl
26. tgclb
27. tgtopon
28. topbas
29. tgtop
30. eltop
31. eltop2
32. eltop3
33. fibas
34. tgdom
35. tgiun
36. tgidm
37. bastop
38. tgtop11
39. 0top
40. en1top
41. en2top
42. tgss3
43. tgss2
44. basgen
45. basgen2
46. 2basgen
47. tgfiss
48. tgdif0
49. bastop1
50. bastop2