若一个属性可以从其他属性中推演出来，那这个属性就是（ ）。