ضابطه تابع:
به طور کلی ضابطه (فرمول) یک تابع را به صورت زیر نشان میدهیم:

عبارت بالا را اینگونه میخوانیم:
« f تابعی است از مجموعه A به توی مجموعه B به طوری که هر x از A را به مقدار نظیرش یعنی  از B مینگارد.»
مثال1: تابع زیر را در نظر بگیرید:
f:R→R+∪{0}f:R→R+∪{0}
x↦x2x↦x2
این تابع، یک تابع از  به توی R+∪{0}R+∪{0} است که هر x را به نظیرش  مینگارد. مثلاً این تابع عدد ۲ به عدد  تبدیل میکند (مینگارد).
این تابع همان تابع معروف  است.
دامنه، همدامنه و برد تابع:
به مجموعه A در تعریف تابع، دامنه تابع و به مجموعه B ، همدامنه تابع ، و به مجموعهی خروجی های واقعی تابع f، برد تابع میگوییم. دامنه تابع مجموعهای است که تابع روی آن تعریف میشود و همدامنهی تابع مجموعهای است که خروجیهای تابع در آن قرار دارد و برد، مجموعهی تمام خروجیهای واقعی تابع است.
مثال2: در مثال 1 اگر R+∪{0}R+∪{0} را به  تبدیل کنیم، یعنی f تابعی باشد از  به :
f:R→Rf:R→R
دامنه این تابع برابر با ، همدامنه تابع نیز برابر با  ولی برد تابع برابر با R+∪{0}R+∪{0} است.
توجه نمایید که در برخی ا