设S是一个半群，S×S的所有子半群（含空半群），按照二元关系的复合（o）、逆（-1）及集合包含关系（真包函于）构成了S上的对应丛．记为（C（S），o，-1，真包函......