>>887
>U2^U1={(f:U1→U2):set}=∪P((Vα∩U1)×Imfα)
U2^U1={(f:U1→U2):set}⊂∪P((Vα∩U1)×Imfα):class