Talk:Subband iff Idempotent under Induced Operation

Somehow "Subband iff Idempotent under Induced Operation" seems like a better title to me. What brought your mind to this result? &mdash; Lord_Farin (talk) 13:02, 5 March 2013 (UTC)


 * Thanks. It was too long. It occurred to me on a train journey. I will try to minimise random results in the future. --Jshflynn (talk) 15:07, 5 March 2013 (UTC)


 * Sigh. This is too strong. It applies to idempotent magmas I think. I don't see associativity being used. Do I generalise ? --Jshflynn (talk) 21:00, 5 March 2013 (UTC)


 * You could. But you're not really using that $S$ is a magma either ;). &mdash; Lord_Farin (talk) 10:04, 6 March 2013 (UTC)


 * You can generalize if you like, but recommended you do it on another page. --prime mover (talk) 19:43, 6 March 2013 (UTC)