Reduced product
From Wikipedia, the free encyclopedia
| This article does not cite any references or sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. (January 2009) |
In model theory, a branch of mathematical logic, the reduced product is a construction that generalizes both direct product and ultraproduct.
A reduced product of a family of objects is the direct product of the family modulo a filter. The filter is defined on the index set of the product. Two elements of the direct product are equivalent if the set of coordinates where they are equal is a member of the filter.
| This mathematics-related article is a stub. You can help Wikipedia by expanding it. |

