2.20 a) Let Ocopy S2 S be the operation a@copy b = a Show that (S, Ocopy) is a semigroup for S an arbitrary non-empty set. b) L 1) of binary strings. Show that et denote string concatenation over the set 10, it is associative