Jelaskan Himpunan yang Dipesan Sebagian

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:

  1. R adalah refleksif, yaitu xRx untuk setiap x S.
  2. R antisimetris, yaitu jika xRy dan yRx, maka x = y.
  3. 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 ).

10

Related Posts