تابعی از مجموعه ایکس بتوی مجموعه ایگرگ داده شده است . این تابع
تابعی را القا می کند از مجموعه توانی ایکس بتوی مجموعه توانی ایگرگ .
که آنرا توابع مجموعه ای می نامند . در ص 35 از کتاب توپولوژی لیپ شتوس
با ترجمه عالم زاده این تعریف آمده . در درک تعریف تابعگون یا همان فانکتور
مشکل دارم . تابع مجموعه ای آیا می تواند یک تابعگون باشد ؟
ممنون.
