Metamath Proof Explorer

Table of Contents - 20.23.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. disjxrn
43. disjorimxrn
44. disjimxrn
45. disjimres
46. disjimin
47. disjiminres
48. disjimxrnres
49. disjALTV0
50. disjALTVid
51. disjALTVidres
52. disjALTVinidres
53. disjALTVxrnidres