открытое допущение

Мат. open assumption