linear extension
توسیع خطی
partially ordered set
مجموعه جزئامرتب