Metamath Proof Explorer

Table of Contents - 2.6.4. Transitive closure of a relation

1. cttrcl
2. df-ttrcl
3. ttrcleq
4. nfttrcld
5. nfttrcl
6. relttrcl
7. brttrcl
8. brttrcl2
9. ssttrcl
10. ttrcltr
11. ttrclresv
12. ttrclco
13. cottrcl
14. ttrclss
15. dmttrcl
16. rnttrcl
17. ttrclexg
18. dfttrcl2
19. ttrclselem1
20. ttrclselem2
21. ttrclse