完全情态集

完全情态集（complete set of cases），计算机科学技术名词，设Σ=( B，E;F，)为一个基本网系统，满足下列条件的最小集合称为Σ完全情态集：①∈C；②对C中的任意情态c，若存在事件，和情态，使得在情态发生事件产生情态c，而在情态c发生事件得到情态，那么，∈C 。