チューリング還元
また、を形成する、つまり、上限に関して閉じていて、チューリング還元に関して下に閉じている。