Everytime I want to find the category of preordered sets, I enter "preorder" into the search box and do not find it. While "proset" is being used by some authors, I think that "preordered set" is more common. I think I chose "proset" to make it analogous to "poset" (which can maybe also be renamed to "partially ordered set").
[This issue has been created for testing #278]
This issue has been created by Martin via the submission form on https://6a52cc3446672bbe58dd6a44--catdat.netlify.app/category/Prost
Everytime I want to find the category of preordered sets, I enter "preorder" into the search box and do not find it. While "proset" is being used by some authors, I think that "preordered set" is more common. I think I chose "proset" to make it analogous to "poset" (which can maybe also be renamed to "partially ordered set").
[This issue has been created for testing #278]
This issue has been created by Martin via the submission form on https://6a52cc3446672bbe58dd6a44--catdat.netlify.app/category/Prost