Metamath Proof Explorer

Table of Contents - 7. BASIC STRUCTURES

1. Extensible structures
   1. Basic definitions
   2. Slot definitions
   3. Definition of the structure product
   4. Definition of the structure quotient
2. Moore spaces
   1. cmre
   2. cmrc
   3. cmri
   4. cacs
   5. df-mre
   6. df-mrc
   7. df-mri
   8. df-acs
   9. ismre
   10. fnmre
   11. mresspw
   12. mress
   13. mre1cl
   14. mreintcl
   15. mreiincl
   16. mrerintcl
   17. mreriincl
   18. mreincl
   19. mreuni
   20. mreunirn
   21. ismred
   22. ismred2
   23. mremre
   24. submre
   25. Moore closures
   26. Independent sets in a Moore system
   27. Algebraic closure systems