设 
为一个集合，设 
为 
上的一个超滤器，设 
为给定语言 
的一个公式，设 
为由集合 
索引的结构的任意集合。用 ![[x]_U](/images/equations/LosTheorem/Inline8.svg)
表示 
在 
下的等价类，对于乘积 
的任何元素 
。则超积 
通过 估值 ![s=[(x_i)_(i in I)]_U](/images/equations/LosTheorem/Inline15.svg)
在 
中满足 
，
 |
Łoś' 定理
另请参阅
非标准分析, 结构, 转移原理此条目由 Matt Insall (作者链接) 贡献
使用 Wolfram|Alpha 探索
参考文献
Bell, J. L. 和 Slomson, A. B. 模型与超积：导论。 阿姆斯特丹，荷兰：North-Holland, 1971.Hurd, A. E. 和 Loeb, P. A. 非标准实分析导论。 奥兰多，佛罗里达州：Academic Press, 1985.在 Wolfram|Alpha 中被引用
Łoś' 定理请按如下方式引用
Insall, Matt. "Łoś' 定理。" 来自 MathWorld--一个 Wolfram Web 资源，由 Eric W. Weisstein 创建。 https://mathworld.net.cn/LosTheorem.html