partially ordered set
مجموعه جزئامرتب
upper cover
پوشش بالایی