如果包含关系也考虑来自相同药材的饮片的话，可以类似地定义一下函数：

    定义关系：药物组成集合FC扩展含有饮片prepareddrug，即FC_ExContainDrug(fc：FC，prepareddrug：PreparedDrug)≡fcu∈fc∧(fcu.PreparedDrug=prepareddrug∨FromSameMaterial(fcu.PreparedDrug，prepareddrug)

    定义关系：方剂f扩展含有饮片prepareddrug，即Formula_ExContainDrug(f：Formula，prepareddrug：PreparedDrug)≡FC_ExContainDrug(f.FC，prepareddrug)

    定义关系：方剂f2扩展包含方剂f1，即FormulaExInclude(f2：Formula，f1：Formula)≡fcu1∈f1.FC，Formula_ExContainDrug(f2，fcu1.PreparedDrug)

    定义关系：方剂f2扩展真包含方剂f1，即FormulaProperExInclude(f2：Formula ......