实验 状态 进行 子集 符号