若结构是失效的，则结构的功能函数应满足（）。