Operacją n-arną (działaniem n-arnym) w zbiorze G dla liczby całkowitej n > 0 nazywamy funkcję, która każdemu ciągowi (a1, ..., an) n elementów zbioru G przyporządkowuje element a1...an zbioru G. Innymi słowy jest to dowolne odwzorowanie n-tego iloczynu kartezjańskiego Gn zbioru G w zbiór G. W przypadku n = 1 będzie to dowolne odwzorowanie zbioru G w zbiór G (taką operację nazywamy operacją unarną).