Definition: Partial Order (see PoSet for partially ordered set).

A relation $$\le$$ is a partial order on a set $$S$$ if it has:

PartialOrder (last edited 2020-01-26 22:54:17 by scot)