下列关于兴奋传导的叙述，正确的是[ ]

A．一个神经纤维上的兴奋传导是双向的

B．神经纤维膜外，兴奋的部位是正电位

C．突触处兴奋的传递是双向的

D．神经递质作用于突触前膜，使突触前膜产生兴奋

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