Definition talk:Operation/Operation on Set

Call it what you want, it is what it is.

Seriously, structuring the definition will take some thought which I don't have today, it will have to wait till I have slept some. --prime mover (talk) 21:54, 28 April 2015 (UTC)

Okay, how does that work for you? The definitions are a bit woolly for Warner, who's usually precise. --prime mover (talk) 10:40, 29 April 2015 (UTC)

Well, the issue is that not every $n$-ary operation can be obtained from a $n-1$-ary operation and a binary operation. For example, one might define:

$\triangle(a,b,c,d) := (a+b)(c+d)$

which obviously is not of the form General Operation from Binary Operation. — Lord_Farin (talk) 16:17, 29 April 2015 (UTC)

Don't know then, it's outside the scope of what Warner's doing. I think I'm going to have to abandon this exercise because I understand neither the point nor the necessity for abstract algebra. --prime mover (talk) 20:37, 29 April 2015 (UTC)