– абстрактная формулировка задачи, требующая решения близкого к идеальной системе.