Metamath Proof Explorer

Table of Contents - 8.3.1. The category of sets

1. csetc
2. df-setc
3. setcval
4. setcbas
5. setchomfval
6. setchom
7. elsetchom
8. setccofval
9. setcco
10. setccatid
11. setccat
12. setcid
13. setcmon
14. setcepi
15. setcsect
16. setcinv
17. setciso
18. resssetc
19. funcsetcres2
20. setc2obas
21. setc2ohom
22. cat1lem
23. cat1