явная секвенция

Мат. explicit sequent

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