نگاشت مجموعه مقدار

{set valued map, set-valued function} [ریاضی] برای دو مجموعۀ x و y، نگاشتی که به هر عضو از x زیرمجموعه ای از y نسبت دهد

💡 متغیر مقید (یا متغیر پابند) (به انگلیسی: bound variable) متغیری است که قبلاً  آزاد بوده‌ است، اما به یک مقدار، یا مجموعه مقدار، که دامنه سخن یا جهان نام دارد، منتسب گردیده‌ است.