(A × B) Conjunto de todos los pares de elementos de A y B; A × B = {x, y ⟩: x ∈ A e y ∈ B} (A\ B) el conjunto de todos los elementos de A que no son también el elemento s de B: A\ B = {x: x ∈ A y x B}...(A × B) Conjunto de todos los pares de elementos de A y B; A × B = {x, y ⟩: x ∈ A e y ∈ B} (A\ B) el conjunto de todos los elementos de A que no son también el elemento s de B: A\ B = {x: x ∈ A y x B} (γ A) En el cálculo secuencial, A es derivable de γ si hay una derivación de un secuente γ 0 ⇒ A donde γ 0 γ es una secuencia finita de oraciones en γ.