Pencarian berdasarkan :
Pencarian terakhir:
𝑆, ≤ merupakan himpunan terurut parsial sekaligus (𝑆,•) semigrup.