Definition: Partial Order (see PoSet for partially ordered set).
A relation is a partial order on a set if it has:
PartialOrder (last edited 2020-01-26 22:54:17 by scot)
