定义11.1.3设f:A→B,A1A,定义A1在f下的 象代A山为A1]=(x)(x∈A^y=f×),把fA 为函数的象, )设BB,定义B1在f下的完全原象f1B1]为 fB1={×X∈A^f(x)∈B1} 注意,在上一章f1表示f的逆关系.这个定义中的 f[B1表示完全原象,可以认为其中的f1是f的逆 关系,因为函数的逆关系不一定是函数,所以f1 表示逆关系,不是逆函数(除非特别说• 定义11.1.3 设f：A→B，A1A，定义A1在f下的 象f[A1]为f[A1]={y|(x)(x∈A1^y=f(x))}，把f[A] 称为函数的象， • 设B1B，定义B1在f下的完全原象f -1 [B1]为 f -1 [B1]＝{x|x∈A^f(x)∈B1} • 注意，在上—章f -1表示f的逆关系．这个定义中的 f -1 [B1]表示完全原象，可以认为其中的f -1是f的逆 关系，因为函数的逆关系不一定是函数，所以f -1 一般只表示逆关系，不是逆函数(除非特别说 明)．