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

A relation is a partial order on a set if it has: