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? — 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 ;). — 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)