Sebuah set sebagian memerintahkan (atau poset) adalah satu set diambil bersama-sama dengan urutan parsial. Secara formal, himpunan terurut sebagian didefinisikan sebagai pasangan terurut P =(X,≤) di mana X disebut himpunan dasar dari P dan adalah orde parsial dari P.
Suatu unsur u dalam himpunan terurut sebagian (X,≤) dikatakan batas atas untuk subset S dari X jika, untuk setiap s S, kita memiliki s u
Pertimbangkan relasi R pada himpunan S yang memenuhi sifat-sifat berikut:
- R adalah refleksif, yaitu xRx untuk setiap x S.
- R antisimetris, yaitu jika xRy dan yRx, maka x = y.
- R adalah transitif, yaitu xRy dan yRz, kemudian xRz.
Kemudian R disebut relasi orde parsial, dan himpunan S bersama-sama dengan orde parsial disebut himpunan orde parsial atau POSET dan dinotasikan dengan (S ).