Metamath Proof Explorer

Table of Contents - 20.44.2. Set Recursion

1. Basic Properties of Set Recursion
   1. csetrecs
   2. df-setrecs
   3. setrecseq
   4. nfsetrecs
   5. setrec1lem1
   6. setrec1lem2
   7. setrec1lem3
   8. setrec1lem4
   9. setrec1
   10. setrec2fun
   11. setrec2lem1
   12. setrec2lem2
   13. setrec2
   14. setrec2v
   15. setis
2. Examples and properties of set recursion
   1. elsetrecslem
   2. elsetrecs
   3. setrecsss
   4. setrecsres
   5. vsetrec
   6. 0setrec
   7. onsetreclem1
   8. onsetreclem2
   9. onsetreclem3
   10. onsetrec