down directed set

مجموعه جهتدار پایین