Полный русско-английский словарь
Мат. consequence relation, relation of consequence, successor relation