Metamath Proof Explorer

Table of Contents - 2.1.19. The union of a class

  1. cuni
  2. df-uni
  3. dfuni2
  4. eluni
  5. eluni2
  6. elunii
  7. nfunid
  8. nfuni
  9. uniss
  10. unissi
  11. unissd
  12. unieq
  13. unieqOLD
  14. unieqi
  15. unieqd
  16. eluniab
  17. elunirab
  18. uniprg
  19. unipr
  20. uniprOLD
  21. uniprgOLD
  22. unisng
  23. unisn
  24. unisn3
  25. dfnfc2
  26. uniun
  27. uniin
  28. ssuni
  29. uni0b
  30. uni0c
  31. uni0
  32. csbuni
  33. elssuni
  34. unissel
  35. unissb
  36. uniss2
  37. unidif
  38. ssunieq
  39. unimax
  40. pwuni