如果和是图像分割得到的两个子区域，则和应满足（）