Paragraf

Mari kita telaah lebih saksama contoh berupa himpunan kuasa \({\mathcal P}(X)\) dari suatu himpunan \(X\text{.}\) Himpunan kuasa merupakan latis yang terurut oleh inklusi. Berdasarkan definisi himpunan kuasa, unsur terbesar dalam \({\mathcal P}(X)\) adalah \(X\) sendiri dan unsur terkecilnya adalah \(\emptyset\text{,}\) yaitu himpunan kosong. Untuk sebarang himpunan \(A\) dalam \({\mathcal P}(X)\text{,}\) kita mengetahui bahwa \(A \cap X = A\) dan \(A \cup \emptyset = A\text{.}\) Hal ini mengarahkan kita pada definisi berikut untuk latis. Suatu unsur \(I\) dalam poset \(X\) disebut unsur terbesar jika \(a \preceq I\) untuk semua \(a \in X\text{.}\) Suatu unsur \(O\) disebut unsur terkecil dari \(X\) jika \(O \preceq a\) untuk semua \(a \in X\text{.}\)
Dalam Konteks