Уравнение, равносильное совокупности нескольких систем

Уравнение такое, что любое его решение является решением хотя бы одной из этих систем, а любое решение каждой из систем является решением уравнения