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. xrsle
   26. xrge0le
   27. xrsbas
   28. xrge0base
   29. Moore closures
   30. Independent sets in a Moore system
   31. Algebraic closure systems