https://profilpelajar.com/en/Partially_ordered_set