_9到幂集formula_10的普通函数formula_15，使任意formula_16都为非空集。这类函数有时也被称为对应：每个函数输入值都将返回一个或多个结果值。闭合图一个多值函数formula_15有闭合图，如果集合formula_18在积空间formula_19中是一个闭合子集。即：给定任意序列formula_20和formula_21，并满足formula_22，则有formula_23。不动点令formula_24为一个多值函数。如果formula_25，则formula_26为