1-1归约于

1-1归约于（one-one reducible to），计算机科学技术名词，给定自然数子集 A，B ，如果存在可计算单射 g 使对一切 x ， x∈A 当且仅当 g(x)∈B ，则称 A 1-1归约于 B ，记为 AB 。