Łoś' 定理

設 為一個集合，設 為 上的一個超濾器，設 為給定語言 的一個公式，設 為由集合 索引的結構的任意集合。用 表示 在 下的等價類，對於乘積 的任何元素 。則超積 透過 估值 在 中滿足 ，