Metamath Proof Explorer


Table of Contents - 20.44.13.2. Preordered sets as thin categories

  1. cprstc
  2. df-prstc
  3. prstcval
  4. prstcnidlem
  5. prstcnid
  6. prstcbas
  7. prstcleval
  8. prstclevalOLD
  9. prstcle
  10. prstcocval
  11. prstcocvalOLD
  12. prstcoc
  13. prstchomval
  14. prstcprs
  15. prstcthin
  16. prstchom
  17. prstchom2
  18. prstchom2ALT
  19. postcpos
  20. postcposALT
  21. postc