تابع پوشا یا Surjective Function، تابعی است که تمام اعضای مجموعه دوم به یک عضو از مجموعه اول منتسب شده است. اگر حتی یک عضو از مجموعه دوم بدون تطبیق با مجموعه اول باقی بماند، آن تابع به عنوان پوشا شناخته نمی‌شود. در نمودار یک تابع پوشا، هر خطی که موازی با محور x باشد، باید حداقل یک نقطه اشتراک با نمودار دیگری داشته باشد، به طوری که نمودارها را قطع کند. تابع یک‌به‌یک یا Injective Function، تابعی است که هر عضو از مجموعه اول، تنها یک عضو منحصربه‌فرد در مجموعه دوم باشد. در نمایش نموداری تابع یک‌به‌یک، به ازای هر خط موازی با محورxها، نمودار حداکثر در یک نقطه قطع می‌شود. کاربردهای این دو نوع تابع در ریاضیات و مهندسی بسیار وسیع است، به عنوان مثال می‌توان در مدل‌سازی و توصیف روابط بین مجموعه‌ها، مسائل مربوط به الگوریتم‌ها، پردازش تصویر، برنامه‌نویسی و پایگاه‌داده‌ها اشاره کرد. یادگیری مفاهیم و تشخیص توابع پوشا و یک‌به‌یک، برای دانشجویان رشته‌های ریاضی و رشته‌های مهندسی ضروری است.
