ula_24的像formula_92。在#正式定义一节的最后例子中，formula_93在formula_6的像是formula_95，而formula_6的值域是formula_97。根据此定义，formula_6可引申成为由formula_24的幂集（由formula_24的子集组成的集）到formula_25的幂集之函数，亦记作formula_6。子集formula_103在formula_6的原像（或"逆像"）是如下定义的formula_24的子集：沿用同一例子，我们可以看到formula