工会是什么——工会性质、职能、历史。工会知识小百科。