直流配电屏应能满足并组浮充，并组放电的要求。

被函数依赖集F逻辑蕴涵的函数依赖的全体构成的集合称为（），用符号（）表示。