মৌলিক পাটিগণিতের গাণিতিক প্রক্রিয়াসমূহ:* +, যোগ (*addition*)
* −, বিয়োগ (*subtraction*)
* ÷, ভাগ (*division*)
* ×, গুণ (*multiplication*)

গণিতের ভাষায় **গাণিতিক প্রক্রিয়া** (*Operation*) হলো এমন একটি ফাংশন যা শূন্য সংখ্যক অথবা তার অধিক সংখ্যক এবং অপারেন্ড নামক ইনপুট মানকে বা মানসমূহকে একটি সু-সংজ্ঞায়িত আউটপুট মানে রূপান্তরিত করে। অপারেন্ড যা আর্গুমেন্ট নামেও পরিচিত তার সাংখ্যিক পরিমাণই হচ্ছে গাণিতিক প্রক্রিয়ার পক্ষসংখ্যা বা অ্যারিটি।

সবচেয়ে বেশি অধ্যয়নকৃত ও আলোচিত গাণিতিক প্রক্রিয়াগুলো দ্বিপক্ষীয় গাণিতিক প্রক্রিয়া, আর এগুলো হচ্ছে সেইসব গাণিতিক প্রক্রিয়া যাদের অ্যারিটি বা পক্ষসংখ্যা ২। উদাহরণস্বরূপ, যোগ, বিয়োগ, গুণ, ভাগ হলো দ্বিপক্ষীয় গাণিতিক প্রক্রিয়া। আর, একপক্ষীয় গাণিতিক প্রক্রিয়া অর্থাৎ একটি মাত্র পক্ষসংখ্যার গাণিতিক প্রক্রিয়ার মধ্যে রয়েছে ত্রিকোণমিতিক ফাংশন, যোগাত্মক বিপরীত এবং গুণাত্মক বিপরীত। পক্ষসংখ্যা অ্যারিটি শূন্য এমন গাণিতিক প্রক্রিয়াসমূহের একটি হচ্ছে ধ্রুবক। মিশ্র গুণন হচ্ছে পক্ষসংখ্যা অ্যারিটি  ৩-এর গাণিতিক প্রক্রিয়ার একটি উদাহরণ। ইংরেজি বলয়ে যা *ternary operation* নামে পরিচিত।

সাধারণত পক্ষসংখ্যা অ্যারিটিকে সসীম হিসেবেই নেওয়া হয়। তবে কখনো কখনো অসীম সংখ্যক পক্ষসংখ্যার গাণিতিক প্রক্রিয়াও বিবেচনায় নেওয়া হয় যা ইংরেজিতে *infinitary operation*, বলা হয়। তাই এক্ষেত্রে "সাধারণ" গাণিতিক প্রক্রিয়াগুলোকে বলা যায় সসীম পক্ষসংখ্যার গাণিতিক প্রক্রিয়া, ইংরেজিতে যা *finitary operations*।

আংশিক গাণিতিক প্রক্রিয়াকে একটি গাণিতিক প্রক্রিয়ায় অনুরূপভাবেই সংজ্ঞায়িত করা হয়, কিন্তু এটা করা হয় ফাংশনের পরিবর্তে আংশিক ফাংশনের মাধ্যমে।

গাণিতিক প্রক্রিয়ার প্রকারভেদ
-----------------------------

একটি দ্বিপক্ষীয় গাণিতিক প্রক্রিয়া দুটি আর্গুমেন্ট x এবং {\displaystyle y} গ্রহণ করে এবং এই {\displaystyle x\circ y} ফলাফলটি প্রদান করে।
দুটি সাধারণ ধরনের গাণিতিক প্রক্রিয়া রয়েছে। যথা: একপক্ষীয়ও দ্বিপক্ষীয়। একপক্ষীয় গাণিতিক প্রক্রিয়ায় কেবল একটি মান থাকে, যেমন: নেগেশন এবং ত্রিকোণমিতিক ফাংশন। পক্ষান্তরে দ্বিপক্ষীয় গাণিতিক প্রক্রিয়ায় দুটি মান নেওয়া হয়। আর এদের মধ্যে রয়েছে যোগ, বিয়োগ, গুণ, ভাগ, সূচকীকরণ এবং মূল নির্ণয়।

গাণিতিক প্রক্রিয়ায় সংখ্যা অপেক্ষা বরং গাণিতিক বস্তুগুলোকেই অন্তর্ভুক্ত করা যায়। লজিক গণিতের লজিক মান তথা সত্যক মানকেও (*সত্য* এবং *মিথ্যা*) *and*, *or,* ও *not* এর মতো লজিক অপারেশন প্রয়োগ করে অন্তর্ভুক্ত করা যেতে পারে। কে সংযোজনও করা যায় আবার পরিহারও করা যায়। প্রথমে প্রথম ঘূর্ণন এবং তারপর দ্বিতীয় ঘূর্ণনটি সম্পাদনপূর্বক ফাংশন কম্পোজিশন অপারেশন ব্যবহার করে ঘূর্ণনসমূহকেও গাণিতিক প্রক্রিয়ার অন্তর্ভুক্ত করা যায়। সেটের গাণিতিক প্রক্রিয়ারগুলোর মধ্যে দ্বিপক্ষীয় প্রক্রিয়া হিসেবে রয়েছে সেটের সংযোগ, সেটের ছেদ এবং একপক্ষীয় প্রক্রিয়া হিসেবে সেটের পূরক। এবং যেসব ফাংশন গাণিতিক প্রক্রিয়ার অন্তর্ভুক্ত তাদের মধ্যে রয়েছে ফাংশন কম্পোজিশন এবং কনভোল্যুশন।

গাণিতিক প্রক্রিয়াকে এর  *ডোমেইনের* প্রতিটি সম্ভাব্য মানের জন্য সংজ্ঞায়িত করা নাও হতে পারে। উদাহরণস্বরূপ, বাস্তব সংখ্যার ক্ষেত্রে শূন্য দ্বারা ভাগ করা কিংবা ঋণাত্মক সংখ্যার বর্গমূল নির্ণয় করা সম্ভব নয়। যেসব মানের জন্য কোনো গাণিতিক প্রক্রিয়া সংজ্ঞায়িত হয়, সেই মানগুলো একটি সেট গঠন করে যাকে এই গাণিতিক প্রক্রিয়াটির *সংজ্ঞার ডোমেইন* বা *সক্রিয় ডোমেইন* বলা হয়। উদাহরণস্বরূপ, বাস্তব সংখ্যায়, স্কোয়ারিং অপারেশন শুধুমাত্র অ-ঋণাত্মক সংখ্যা তৈরি করে; codomain বা কোডোমেইন হল বাস্তব সংখ্যার সেট, কিন্তু এর পরিসীমা হল অ-নেতিবাচক সংখ্যা।

গাণিতিক প্রক্রিয়া অসদৃশ গাণিতিক বস্তুর সাথে জড়িত হতে পারে। যেমন: একটি ভেক্টরকে একটি স্কেলার দ্বারা গুণ করে আরেকটি ভেক্টর গঠন করা যেতে পারে, যে গাণিতিক প্রক্রিয়াটি আবার স্কেলার গুণন নামে পরিচিত। আরেকটি উদাহরণ হচ্ছে, দুটি ভেক্টরের *inner product* অপারেশন, যেখানে একটি স্কেলার রাশি উৎপন্ন হয়। একটি গাণিতিক প্রক্রিয়ার নির্দিষ্ট কিছু বৈশিষ্ট্য থাকতেও পারে আবার নাও থাকতে পারে। যেমন: এটি হতে পারে সহযোজী, বিনিময়ী, প্রতি-বিনিময়ী, idempotent ইত্যাদি।

একটি গাণিতিক প্রক্রিয়া যে মানগুলো গ্রহণ করে তাদেরকে একত্রে *অপারেন্ড*, *আর্গুমেন্ট* অথবা *ইনপুট* বলা হয় এবং যে মানটি উৎপন্ন হয় তাকে *মান*, *ফলাফল* অথবা *আউটপুট* বলা হয়। একটি গাণিতিক প্রক্রিয়ার দুইয়ের কম বা অধিক ইনপুট থাকতে পারে, যার মধ্যে শূন্য সংখ্যক ইনপুট থেকে অসীম সংখ্যক ইনপুটও অন্তর্ভুক্ত।)

অপারেটর একটি অপারেশন বা গাণিতিক প্রক্রিয়ারই অনুরূপ যা গাণিতিক প্রক্রিয়ার প্রতীককে অথবা গাণিতিক প্রক্রিয়ার কার্যধারাকে নির্দেশে ব্যবহার করা হয়, তাই এদের দৃষ্টিভঙ্গি ভিন্ন। উদাহরণস্বরূপ, প্রায়শই যখন "যোগের অপারেশন" বা "যোগ অপারেশন" বা "যোগের গাণিতিক প্রক্রিয়া" ইত্যাদির কথা বলা হয়, তখন অপারেন্ড এবং ফলাফলের উপর আলোকপাত করা হয়। আবার যখন "যোগ অপারেটর", "যোগের অপারেটর" ইত্যাদির কথা বলা হয়, তখন গাণিতিক প্রক্রিয়াটির কলাকৌশলের উপর অথবা আরও প্রতীকি দৃষ্টিভঙ্গী থেকে বলা যায়, +: *X* × *X* → *X* ফাংশনের নজর দেওয়া হয়।

সংজ্ঞা
------

*X*1, …, *X**n* থেকে *Y*-এ একটি An ***n*-ary অপারেশন** *ω* (পক্ষসলখ্যা ***n*** এরূপ গাণিতিক প্রক্রিয়া) হচ্ছে এমন একটি ফাংশন যেখানে, *ω*: *X*1 × … × *X**n* → *Y*। এখানে, *X*1 × … × *X**n* সেটটিকে *ডোমেইন*, *Y* সেটটিকে *কোডোমেইন* এবং সুনির্দিষ্ট অঋণাত্মক পূর্ণসংখ্যা (অপারেন্ডের সংখ্যা) *n*-কে গাণিতিক প্রক্রিয়াটির পক্ষসংখ্যা অ্যারিটি বলা হয়। তাই একটি একপক্ষীয় গাণিতিক প্রক্রিয়ার (*unary operation*) অ্যারিটি ১ এবং একটি দ্বিপক্ষীয় গাণিতিক প্রক্রিয়ার (*binary operation*) অ্যারিটি ২ থাকে। অ্যারিটি শূন্য এমন গাণিতিক প্রক্রিয়াকে শূন্যপক্ষীয় গাণিতিক প্রক্রিয়া, (*nullary operation*) বলা হয়, যা কেবল কোডোমেইন *Y*-এর একটি উপাদান। কোনো *n*-ary অপারেশনকে একটি (*n* + 1)-ary অন্বয়রূপেও দেখা যেতে পারে, যা এর *n* ইনপুট ডোমেইনের সাপেক্ষে মোট এবং এর আউটপুট ডোমেইনের সাপেক্ষে অনন্য।

*X*1, …, *X**n* থেকে *Y*-এ একটি ***n*-ary আংশিক অপারেশন** *ω* হচ্ছে একটি আংশিক ফাংশন *ω*: *X*1 × … × *X**n* → *Y*। একটি *n*-ary আংশিক অপারেশনকো একটি (*n* + 1)-ary অন্বয়রূপেও দেখা যেতে পারে,যা এর আউটপুট ডোমেইনের সাপেক্ষ অনন্য। 

সাধারণভাবে **সসীম পক্ষীয় গাণিতিক প্রক্রিয়া** (*finitary operation*) কী উপরে সেটায় বর্ণনা করা হয়েছে অপারেন্ডের সসীম সংখ্যার (যার মান *n* ) মাধ্যমে। গাণিতিক অপারেশনের সুস্পষ্টভাবে আরও সম্প্রসারণ রয়েছে, যেখানে অ্যারিটিকে একটি অসীম ক্রমের মাধ্যমে অথবা অঙ্কের মাধ্যমে গ্রহণ করা হয়, এমনকি অপারেন্ডগুলোকে সূচীকরণ করে এমন একটি স্বাধীন সেটের মাধ্যমেও অ্যারিটিকে গণ্য করা হয়।

প্রায়শই, অপারেশন শব্দটি ব্যবহার করে এটা বোঝানো হয় যে, ফাংশনের ডোমেনে কোডোমেনের একটি ঘাত অন্তর্ভুক্ত রয়েছে (যা হচ্ছে কোডোমেনের এক বা একাধিক অনুলিপি কার্টেসীয় গুণজ, যদিও এটি কোনোভাবেই সর্বজনীন নয়, যেমন এটা সর্বজনীন নয় ডট গুণনের ক্ষেত্রে, যেখানে ভেক্টরকে গুণ করা হয় এবং এর ফল একটি স্কেলার হয়। 
একটি *n*-ary অপারেশন *ω*: *X**n* → *X* কে বলা হয় অভ্যন্তরীণ অপারেশন। *ω*: *X**i* × *S* × *X**n* − *i* − 1 → *X* যেখানে *স্কেলার সেট অথবা অপারেটর সেট* S *এর ভিত্তিতে 0 ≤* i *<* n*-কে বলা হয় বাহ্যিক অপারেশন। In particular for a binary operation,* ω*:* S *×* X *→* X *is called a **left-external operation** by* S*, and* ω*:* X *×* S *→* X *is called a **right-external operation** by* S*. An example of an internal operation is vector addition, where two vectors are added and result in a vector. An example of an external operation is scalar multiplication, where a vector is multiplied by a scalar and result in a vector.*

তথ্যসূত্র
---------

1. 1 2 3 4  "Algebraic operation - Encyclopedia of Mathematics"। *www.encyclopediaofmath.org*। সংগ্রহের তারিখ ২০১৯-১২-১০। উদ্ধৃতি টেমপ্লেট ইংরেজি প্যারামিটার ব্যবহার করেছে (link)
2. ↑  DeMeo, William (আগস্ট ২৬, ২০১০)। "Universal Algebra Notes" (পিডিএফ)। *math.hawaii.edu*। মে ১৯, ২০২১ তারিখে মূল (পিডিএফ) থেকে আর্কাইভ করা। সংগ্রহের তারিখ ২০১৯-১২-০৯। উদ্ধৃতি টেমপ্লেট ইংরেজি প্যারামিটার ব্যবহার করেছে (link)
3. ↑  Weisstein, Eric W.। "Unary Operation"। *mathworld.wolfram.com* (ইংরেজি ভাষায়)। সংগ্রহের তারিখ ২০২০-০৭-২৭। উদ্ধৃতি টেমপ্লেট ইংরেজি প্যারামিটার ব্যবহার করেছে (link)
4. ↑  Weisstein, Eric W.। "Binary Operation"। *mathworld.wolfram.com* (ইংরেজি ভাষায়)। সংগ্রহের তারিখ ২০২০-০৭-২৭। উদ্ধৃতি টেমপ্লেট ইংরেজি প্যারামিটার ব্যবহার করেছে (link)
5. ↑  Weisstein, Eric W.। "Vector"। *mathworld.wolfram.com* (ইংরেজি ভাষায়)। সংগ্রহের তারিখ ২০২০-০৭-২৭। Vectors can be added together (vector addition), subtracted (vector subtraction) ... উদ্ধৃতি টেমপ্লেট ইংরেজি প্যারামিটার ব্যবহার করেছে (link)
6. ↑  Weisstein, Eric W.। "Union"। *mathworld.wolfram.com* (ইংরেজি ভাষায়)। সংগ্রহের তারিখ ২০২০-০৭-২৭। উদ্ধৃতি টেমপ্লেট ইংরেজি প্যারামিটার ব্যবহার করেছে (link)
7. ↑  Weisstein, Eric W.। "Intersection"। *mathworld.wolfram.com* (ইংরেজি ভাষায়)। সংগ্রহের তারিখ ২০২০-০৭-২৭। উদ্ধৃতি টেমপ্লেট ইংরেজি প্যারামিটার ব্যবহার করেছে (link)
8. ↑  Weisstein, Eric W.। "Complementation"। *mathworld.wolfram.com* (ইংরেজি ভাষায়)। সংগ্রহের তারিখ ২০২০-০৭-২৭। উদ্ধৃতি টেমপ্লেট ইংরেজি প্যারামিটার ব্যবহার করেছে (link)
9. ↑  Weisstein, Eric W.। "Composition"। *mathworld.wolfram.com* (ইংরেজি ভাষায়)। সংগ্রহের তারিখ ২০২০-০৭-২৭। উদ্ধৃতি টেমপ্লেট ইংরেজি প্যারামিটার ব্যবহার করেছে (link)
10. ↑  Weisstein, Eric W.। "Convolution"। *mathworld.wolfram.com* (ইংরেজি ভাষায়)। সংগ্রহের তারিখ ২০২০-০৭-২৭। উদ্ধৃতি টেমপ্লেট ইংরেজি প্যারামিটার ব্যবহার করেছে (link)
11. ↑  Weisstein, Eric W.। "Division by Zero"। *mathworld.wolfram.com* (ইংরেজি ভাষায়)। সংগ্রহের তারিখ ২০২০-০৭-২৭। উদ্ধৃতি টেমপ্লেট ইংরেজি প্যারামিটার ব্যবহার করেছে (link)
12. ↑  Weisstein, Eric W.। "Domain"। *mathworld.wolfram.com* (ইংরেজি ভাষায়)। সংগ্রহের তারিখ ২০২০-০৮-০৮। উদ্ধৃতি টেমপ্লেট ইংরেজি প্যারামিটার ব্যবহার করেছে (link)
13. ↑  Weisstein, Eric W.। "Scalar Multiplication"। *mathworld.wolfram.com* (ইংরেজি ভাষায়)। সংগ্রহের তারিখ ২০২০-০৭-২৭। উদ্ধৃতি টেমপ্লেট ইংরেজি প্যারামিটার ব্যবহার করেছে (link)
14. ↑  Jain, P. K.; Ahmad, Khalil; Ahuja, Om P. (১৯৯৫)। *Functional Analysis* (ইংরেজি ভাষায়)। New Age International। আইএসবিএন 978-81-224-0801-0। উদ্ধৃতি টেমপ্লেট ইংরেজি প্যারামিটার ব্যবহার করেছে (link)
15. ↑  Weisstein, Eric W.। "Inner Product"। *mathworld.wolfram.com* (ইংরেজি ভাষায়)। সংগ্রহের তারিখ ২০২০-০৭-২৭। উদ্ধৃতি টেমপ্লেট ইংরেজি প্যারামিটার ব্যবহার করেছে (link)
16. ↑  Burris, S. N.; Sankappanavar, H. P. (১৯৮১)। "Chapter II, Definition 1.1"। *A Course in Universal Algebra*। Springer। উদ্ধৃতি টেমপ্লেট ইংরেজি প্যারামিটার ব্যবহার করেছে (link)