Metamath Proof Explorer

Table of Contents - 5.8.1. The reflexive and transitive properties of relations

1. coss12d
2. trrelssd
3. xpcogend
4. xpcoidgend
5. cotr2g
6. cotr2
7. cotr3
8. coemptyd
9. xptrrel
10. 0trrel