Given the following property of a binary structure < S, *>, The equation a*x=b has solution x in S for all a,b in S. Determine if this a structural property and give a proof...