4.1 特异群组挖掘形式化描述