Metamath Proof Explorer

Table of Contents - 20.23.7. Reflexivity

1. df-refs
2. df-refrels
3. df-refrel
4. dfrefrels2
5. dfrefrels3
6. dfrefrel2
7. dfrefrel3
8. elrefrels2
9. elrefrels3
10. elrefrelsrel
11. refreleq
12. refrelid
13. refrelcoss