半決定可能集合はんけっていかのうしゅうごう<はん・けってい・かのう>・しゅうごう

Math.semi-entscheidbare Mengehalb-entscheidbare Menge