Q on associative binary operation