数学基礎論・数理論理学　その19

U1,U2:class
f:U1→U2
f⊂U1×U2:class
∀x∈U1,∃!y∈U2:(x,y)∈f
Imf={y|x∈U1,(x,y)∈f}:class
f⊂U1×Imf:class
fα:Vα∩U1→U2
fα⊂(Vα∩U1)×U2:class
Imfα={y|x∈Vα∩U1,(x,y)∈fα}={y|x∈Vα∩U1,(x,y)∈f}:set
fα⊂(Vα∩U1)×Imfα:set
Imf=∪Imfα
U2^U1={(f:U1→U2):set}=∪P((Vα∩U1)×Imfα)