Reduced product

From Wikipedia, the free encyclopedia

In model theory, a branch of mathematical logic, the reduced product is a construction that generalizes both direct product and ultraproduct.