Уравнение, равносильное системе

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