半決定可能集合
決定可能集合を真に包含する
すなわち決定可能集合$ \subset半決定可能集合
計算可能よりも広い概念