بخشی از مقاله
چکیده
در این مقاله، نوع خاصی از رسته^های ملموس را معرفی می_کنیم که به آن_ها رستار می_گوییم. ما برخی از ویژگی^های ابتدایی آن_ها را بررسی و قضایایی را در مورد رستارهای با شرایط ویژه بیان میNکنیم.
واژه های کلیدی: رستار، رسته، بند.
١ مقدمه
در ابتدا، برخی اصطلاحات و نمادها را که در سراسر این مقاله مورد استفاده خواهد بود معرفی میNکنیم. تابع f : A ! B با f ; A; B - - نشان داده میÁشود که در آن A دامنه و Bبرد آن نامیده می_شود. می_گوییم - f ; A; B - تابعی از A به B است. دامنه تابع F = - f ; A; B - با D - F - نشان داده میÁشود و برد آن با R - F - نشان داده می_شود. همچنین، تعریف می_کنیم Rel - F - = f و برای هر a 2 A قرار می_دهیم F - a - = f - a - و برای هر C _ A، قرار میNدهیم. .F[A] = f [A] = f f - a - j a 2 Ag ا گر F = - f ; A; B - و G = - g; C; D - تابع باشند و B _ C، تعریف می_کنیم .G _ F = - g _ f ; A; D - تابع F = - f ; A; B - ،
• یک به یک است ا گر f [A]; A - ;١ - f یک تابع باشد.
• پوشاست ا گر . f [A ] = B
• دوسویی یاوارون_پذیر است ا گر یک به یک و پوشا باشد.
