Metamath Proof Explorer

Table of Contents - 2.3.9. Founded and well-ordering relations

1. wfr
2. wse
3. wwe
4. df-fr
5. df-se
6. df-we
7. fri
8. seex
9. exse
10. dffr2
11. frc
12. frss
13. sess1
14. sess2
15. freq1
16. freq2
17. seeq1
18. seeq2
19. nffr
20. nfse
21. nfwe
22. frirr
23. fr2nr
24. fr0
25. frminex
26. efrirr
27. efrn2lp
28. epse
29. tz7.2
30. dfepfr
31. epfrc
32. wess
33. weeq1
34. weeq2
35. wefr
36. weso
37. wecmpep
38. wetrep
39. wefrc
40. we0
41. wereu
42. wereu2