16.2 半群中的格林关系