Yes, that’s what I meant to write: in words, associativity & commutativity together mean order doesn’t matter so you can define Σ for + on sets and Π for * on sets, for example.
Am 25.02.21 um 17:25 schrieb 'Sergey Kamenev' via Programming: > 25.02.2021 19:05, Hauke Rehr: >> sorry, wrong: that’s commutativity >> didn’t get the order of thought and speech right, again >> >> associativity >> >> right_associative =: v (b v c) > > You meant? > right_associative =: a v (b v c) > > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm -- ---------------------- mail written using NEO neo-layout.org ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
