Terms containing implied assumption

Subject	English	Russian
math.	A set of assumptions can imply a conclusion	вызывать заключение
adv.	implied assumption	подразумеваемое допущение
math.	the assumption a>0 implies that b is nonnegative	предположение, что a>0 влечёт за собой как следствие, что b является неотрицательным