给定关系模式R(U, F),其中U为属性集, U={X, Y, Z}, F是U上的一组函数依赖。函数依赖的公理系统(Armstrong公理系统)中的( )是指“若X→Y,X→Z,则X→YZ为F所蕴涵”。