类型:合则