عمل دوتائی

از ویکی‌پدیا، دانشنامهٔ آزاد.

عمل دوتایی یکی از اعمال ریاضی است.

فرض کنیم G یک مجموعهٔ دلخواه باشد در این صورت یک عمل دوتایی مانند * روی G یک تابع از G * G به G است:


مثال :
G * G − > G: *
(a,b) = a * b*(a,b) − >
از تعریف دو نکته نتیجه می‌‌شود:

  1. طبق تعریف بالا به ازای هر زوج مرتب (a,b) فقط یک عضو به آن نسبت داده خواهد شد.(مفهوم خوش‌تعریفی عمل)
  2. به ازای هر زوج مرتب (a,b) عضو (a,b)* در G باید باشد.(مفهوم بسته بودن)