Metamath Proof Explorer

Table of Contents - 21.27.19. 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. dfdisjALTV5a
17. disjimeceqim
18. disjimeceqim2
19. disjimeceqbi
20. disjimeceqbi2
21. disjimrmoeqec
22. disjimdmqseq
23. dfeldisj2
24. dfeldisj3
25. dfeldisj4
26. dfeldisj5
27. dfeldisj5a
28. eldisjim3
29. eldisjdmqsim2
30. eldisjdmqsim
31. suceldisj
32. eldisjs
33. eldisjs2
34. eldisjs3
35. eldisjs4
36. eldisjs5
37. eldisjsdisj
38. qmapeldisjs
39. disjqmap2
40. disjqmap
41. eleldisjs
42. eleldisjseldisj
43. disjrel
44. disjss
45. disjssi
46. disjssd
47. disjeq
48. disjeqi
49. disjeqd
50. disjdmqseqeq1
51. eldisjss
52. eldisjssi
53. eldisjssd
54. eldisjeq
55. eldisjeqi
56. eldisjeqd
57. disjres
58. eldisjn0elb
59. disjxrn
60. disjxrnres5
61. disjorimxrn
62. disjimxrn
63. disjimres
64. disjimin
65. disjiminres
66. disjimxrnres
67. disjALTV0
68. disjALTVid
69. disjALTVidres
70. disjALTVinidres
71. disjALTVxrnidres
72. disjsuc
73. qmapeldisjsim
74. qmapeldisjsbi
75. rnqmapeleldisjsim