partially ordered set (suomeksi)

Määritelmät:

(lb, en, set theory) A set having a specified partial order.
(lb, en, set theory) Said set together with said partial order; the ordered pair of said set and said partial order.