هم‌دامنه

تابع فرضی f از X به Y. بیضی کوچک‌ترِ درونِ Y، تصویر تابع f است. Y دامنهٔ مشترک تابع f است.

هم‌دامنهٔ یک تابع، مجموعهٔ مقادیری است که آن تابع احتمال دارد حاصل کند. باید توجه داشت این مفهوم با تصویر تابع متفاوت است، تصویر تابع مجموعهٔ مقادیر به دست آمده از اعمال دامنهٔ تابع است که زیرمجموعه‌ای از هم‌دامنه خواهد بود. تصویر تابع در واقع همان برد تابع است.

تابع f با دامنهٔ X و هم‌دامنهٔ Y را می‌توان با نمادگذاری f: X → Y نمایش داد.

جستارهای وابسته

• برد (ریاضی)