Metamath Proof Explorer

Table of Contents - 21.27.17. Disjoints vs. converse functions

1. df-disjss
2. df-disjs
3. df-disjALTV
4. df-eldisjs
5. df-eldisj
6. dfdisjs
7. dfdisjs2
8. dfdisjs3
9. dfdisjs4
10. dfdisjs5
11. dfdisjALTV
12. dfdisjALTV2
13. dfdisjALTV3
14. dfdisjALTV4
15. dfdisjALTV5
16. dfeldisj2
17. dfeldisj3
18. dfeldisj4
19. dfeldisj5
20. eldisjs
21. eldisjs2
22. eldisjs3
23. eldisjs4
24. eldisjs5
25. eldisjsdisj
26. eleldisjs
27. eleldisjseldisj
28. disjrel
29. disjss
30. disjssi
31. disjssd
32. disjeq
33. disjeqi
34. disjeqd
35. disjdmqseqeq1
36. eldisjss
37. eldisjssi
38. eldisjssd
39. eldisjeq
40. eldisjeqi
41. eldisjeqd
42. disjres
43. eldisjn0elb
44. disjxrn
45. disjxrnres5
46. disjorimxrn
47. disjimxrn
48. disjimres
49. disjimin
50. disjiminres
51. disjimxrnres
52. disjALTV0
53. disjALTVid
54. disjALTVidres
55. disjALTVinidres
56. disjALTVxrnidres
57. disjsuc