PreordPreord (or sometimes PreOrdPreOrd) denotes the category of preorders.
Last revised on June 4, 2020 at 11:03:06. See the history of this page for a list of all contributions to it.