surcaj
Biarkan set yang diperintahkan dan F menjadi subset E. E. Unsur x dari E ialah: • suatu batas atas F jika lebih besar atau sama dengan semua elemen F; ▪ minoriti F jika ia kurang daripada atau sama dengan semua elemen F :. ▪ Jika F mempunyai majorant x maka F adalah subset tambahan. ▪ Jika F mempunyai minoriti x maka F adalah minoriti.