Definition
(Addition of ultrafilters)
.
Let
U
,
V
be
ultrafilters
. Then we define
U
+
V
=
{
A
⊆
ℕ
:
∀
U
x
,
∀
V
y
,
x
+
y
∈
A
}
.