Равносильные системы

такая упорядоченная пара чисел (хо; уд), при подстановке которой (хо вместо х, а Уо вместо у) в каждое из уравнений системы имеют смысл выражения f₁(x₀, y₀), g₁(x₀, y₀), f₂(x₀, y₀), g₂(x₀, y₀); неравенство такое, что любое его решение является решением хотя бы одной из этих систем,