formula_25的幂集之函数，亦记作formula_6。子集formula_103在formula_6的原像（或"逆像"）是如下定义的formula_24的子集：沿用同一例子，我们可以看到formula_107的原像是formula_108，即空集。根据此定义，formula_109是由formula_25的幂集到formula_24的幂集之函数。以下是formula_6及formula_113的一些特性：这些特性适合定义域的任意子集formula_120及formula_121和到达