On the weakened Siegel's conjecture

In the paper, we prove that two definitions of $E$-functions present in mathematics are equivalent if $E$-functions satisfy second-order linear differential equations. For this set of functions, a weakened variant of the well-known Siegel conjecture about representability of any $E$-function by a polynomial of hypergeometric functions is also proved.