完全関数従属
部分関数従属
に対して，ある複数の
属性
全てが定まった場合にある
属性
が定まることを指す．