set
مجموعه
اینفیمم
زیرینه
infimum