۱۳۹۹/۰۱/۳۱ - - علی رضا نقش نیلچی -
در ریاضیات تابع را پوشا مینامیم، هرگاه هر عضو مانند
با یک عضو مانند
متناظر شده باشد، به گونهای که
. تابع
ممکن است بیشتر از یک عضو از
را به یک عضو خاص از
تصویر کند.
واژهٔ پوشا و واژههای مرتبط یک به یک و دوسویی توسط Nicolas Bourbak، تخلص گروهی از ریاضی دانان اساساً فرانسوی قرن بیستمی که کتابهای متعددی در مورد توضیح ریاضیات پیشرفته مدرن نوشتند، در سال ۱۹۳۵ معرفی شدند. واژهٔ پوشا به این معنی است که تصویر دامنهٔ تابع کاملاً برد تابع را میپوشاند.
یک تابع پوشا از دامنهٔ به برد
. این تابع به این دلیل پوشا است که به ازای هر نقطه
در برد حداقل یک نقطه
در دامنه وجود دارد که
.