不可约

若闭集 C 中所有状态互通，则称之为「不可约」的