Metamath Proof Explorer

Table of Contents - 9.2. Preordered sets and directed sets

1. cproset
2. cdrs
3. df-proset
4. df-drs
5. isprs
6. prslem
7. prsref
8. prstr
9. oduprs
10. isdrs
11. drsdir
12. drsprs
13. drsbn0
14. drsdirfi
15. isdrs2