عمل دوتائی
از ویکیپدیا، دانشنامهٔ آزاد.
عمل دوتایی یکی از اعمال ریاضی است.
فرض کنیم G یک مجموعهٔ دلخواه باشد در این صورت یک عمل دوتایی مانند * روی G یک تابع از G * G به G است:
[ویرایش] مثال :

این مثال دو خصوصیت اضافی دارد که جدای از عمل دوتایی ست:
- به ازای هر زوج مرتب (a,b) فقط یک عضو به آن نسبت داده شده است.(مفهوم خوشتعریفی عمل)
- به ازای هر زوج مرتب (a,b) عضو (a,b)* در G موجود در نظر گرفته شده است.(مفهوم بسته بودن)

