真偏函数( proper partial function) 婚真偏函数: domFcA, 真偏函数记作F:A→B, 癱A到B的全体真偏函数记为A+B AB=FIF: A+>B) 《集合论与图论》第9讲《集合论与图论》第9讲 7 真偏函数(proper partial function) 真偏函数: domF⊂A, 真偏函数记作F:A→B, A到B的全体真偏函数记为A→B A→B = { F | F:A→B }