Metamath Proof Explorer


Table of Contents - 2.1.20. The intersection of a class

  1. cint
  2. df-int
  3. dfint2
  4. inteq
  5. inteqi
  6. inteqd
  7. elint
  8. elint2
  9. elintg
  10. elinti
  11. nfint
  12. elintab
  13. elintrab
  14. elintrabg
  15. int0
  16. intss1
  17. ssint
  18. ssintab
  19. ssintub
  20. ssmin
  21. intmin
  22. intss
  23. intssuni
  24. ssintrab
  25. unissint
  26. intssuni2
  27. intminss
  28. intmin2
  29. intmin3
  30. intmin4
  31. intab
  32. int0el
  33. intun
  34. intprg
  35. intpr
  36. intprOLD
  37. intprgOLD
  38. intsng
  39. intsn
  40. uniintsn
  41. uniintab
  42. intunsn
  43. rint0
  44. elrint
  45. elrint2