在关系模式R(U)中，X∈U，Y∈U，X→Y，如果X的某一真子集X′都有X′→Y，则称为____。