Metamath Proof Explorer


Table of Contents - 20.3.3.3. Set relations and operations - misc additions

  1. elunsn
  2. nelun
  3. disjdifr
  4. snsssng
  5. rabss3d
  6. inin
  7. inindif
  8. difininv
  9. difeq
  10. eqdif
  11. undif5
  12. indifbi
  13. diffib
  14. difxp1ss
  15. difxp2ss
  16. undifr
  17. indifundif
  18. elpwincl1
  19. elpwdifcl
  20. elpwiuncl