 PROBLEM 7-14

Mengingat himpunan adalah semua fungsi:

Dengan relasi S didefinisikan menjadi

Buktikan bahwa adalah himpunan parsial terurut

 SOLUSI
Relasi S

S transitif,

S antisimetris

S adalah parsial terurut

S tidak turut total. Contoh, Ir dan maka bukan

maupun untuk semua

 PROBLEM 7-17
Misal menunjukkan kelompok himpunan parsial terurut oleh relasi inklusi,

dan misal menunjukkan subkelompok dari S

1. Tunjukkan bahwa
(1)
Yang tidak punya batas atas
2. Tunjukkan bahwa jika adalah batas atas

 SOLUSI
1. Himpunan S adalah kelompok himpunan-himpunan dan adalah

subkelompoknya. Himpunan S tidak menjamin bahwa gabungan elemen

R

Adalah sebuah elemen S

 Karena itu, adalah batas atas/supremum dari jika dan

hanya jika R adalah sebuah elemen S

2. Misal
(2)
Maka himpunan ada, sedemikian hingga dan .
Himpunan adalah batas atas dari , oleh karena itu

Pada bukti (1)

 PROBLEM 7-20
Misal merupakan himpunan tak kosong. Himpunan adalah

himpunan parsial terurut. Tunjukkan bahwa, untuk setiap batas

atas terkecil dari Q adalah

Dan batas bawah terbesar dari Q adalah

 SOLUSI
Misal B menunjukkan tiap elemen maka

(3)

Karena itu, adalah batas atas dari . Seandainya adalah batas atas

maka untuk tiap

(4)
Karena itu,
(5)

Dan adalah batas atas terkecil.

Himpunan adalah batas bawah Q karena untuk tiap

(6)

Himpunan adalah batas bawah terbesar Sebenarnya misal menjadi

batas bawah, maka

 dan
(7)
Himpunan.

Diurutkan
adalah perkalian dari

 PROBLEM 7-23
Berikan sebuah contoh dari himpunan parsial terurut yang mempunyai lebih
dari satu elemen maksimal dan lebih dari satu elemen minimal
 SOLUSI
Anggap himpunan A terdiri dari elemen-elemen

Yang mana parsial terurut seperti yang ditunjukkan di diagram.

Gambar 1

Elemen maksimal A adalah dan

Elemen minimum A adalah

dan
Dari contoh ini dijelaskan bahwa elemen maksimal dan minimal adalah
sebuah himpunan terurut parsial yang bukan khusus
Keadaan himpunan terurut berubah secara keseluruhan (lihat problem
7-24)