Metamath Proof Explorer

Table of Contents - 20.33.2.20. Transitive relations (not to be confused with transitive classes).

1. trrelind
2. xpintrreld
3. restrreld
4. trrelsuperreldg
5. trficl
6. cnvtrrel
7. trrelsuperrel2dg