An indexed family of filters and their elements

18 Views Asked by At

Let $X$ is an indexed (by some set $n$) family of filters (on some poset $\mathfrak{A}$).

Is there any standard notation/terminology for the set $\{ y\in \mathfrak{A}^n \,|\, \forall i\in n:y_i\in X_i \}$ or its elements?

1

There are 1 best solutions below

0
On

I thought on this question long time but realized that it is trivial only now after posting my question to math.SE. Maybe telepathy with readers of my question and/or spirit has helped me.

$$\{ y\in \mathfrak{A}^n \,|\, \forall i\in n:y_i\in X_i \} = \prod X.$$