zapytanie rzut: A, B, C − pewne podzbiory zbioru liczb naturalnych. Czy zawsze zachodzi π₂[{<a, b, c> ∊ A x B x C: a = b ∨ b = c}] = (A ∩ B) ∪ (B ∩ C)? W definicji rzutu mamy, że y ∊ π₂[A] ⇔ ∃_x <x, y> ∊ A. Czy wobec tego tutaj musi być coś w stylu b ∊ π₂[{<a, b, c> ∊ A x B x C: a = b ∨ b = c}] ⇔ ∃_{a ∊ A, c ∊ C} <a, b, c> ∊ {<a, b, c> ∊ A x B x C: a = b ∨ b = c}?