upper sequent

Мат. верхняя секвенция

Источник: Полный англо-русский словарь на Gufo.me