6-1最小项定义及其性质(精)