in computability theory, pairs of sets of natural numbers that cannot be \separated\ with a recursive set
帰納的分離不能対
Computably inseparable