Система-следствие данной системы уравнений

Уравнение такое, что каждое его решение является решением системы, а каждое решение системы является решением уравнения.