Turing reduction
"A"がマルティンレーフランダム底であるとは、"A"が"A"から見てマルティンレーフランダムな列"Z"に対して、チューリング還元可能であることを言う。