Definition: Partial Order (see PoSet for partially ordered set).
A relation is a partial order on a set if it has: