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. &mdash; 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)