(Co)product of a family of filters #
In this file we define two filters on
Π i, α i and prove some basic properties of these filters.
The product of an indexed family of filters.
n-ary coproducts of filters #
Coproduct of filters.