This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list
for being expanded.The message provided is:
This page needs expanding
A preset is a tuple consisting of a set [ilmath]X[/ilmath] and a preorder on [ilmath]X[/ilmath], [ilmath]\preceq[/ilmath], then we say that:
- [ilmath](X,\preceq)[/ilmath] is a preset.
- ↑ An Introduction to Category Theory - Harold Simmons - 1st September 2010 edition