History of Partial order

	Revision 18 . . November 16, 2001 11:33 pm by AxelBoldt
	Revision 17 . . (edit) November 7, 2001 3:52 pm by Jens Blanck

---

Difference (from prior major revision) (no other diffs)

Changed: 8c8

Examples of partial orders include implications and inclusions ("is a subset of" and the more general "is a subobject of"). Clearly, any totally ordered set is also a partially ordered set, for example <= on the real numbers.

Examples of partial orders include implications and inclusions ("is a subset of" and the more general "is a subobject of" in the sense of category theory). Clearly, any totally ordered set is also a partially ordered set, for example <= on the real numbers.