$T_1(n) = O(f(n))$ & $T_2(n) = O(g(n))$
By the definition of $O$- notation ,
$T_1(n)$ $\leq$ $c_1.(f(n))$ & $T_2(n)$ $\leq$ $c_2.(g(n))$
Now,
Assuming, $c_1.c_2 = C$
∴ $T_1(n).T_2(n)$ $\leq$ $(c_1.f(n)).(c_2.g(n))$
Or, $T_1(n).T_2(n)$ $\leq$ $(c_1.c_2).(f(n).g(n))$
Or, $T_1(n).T_2(n)$ $\leq$ $(C).(f(n).g(n))$
Or, $T_1(n).T_2(n)=O(f(n).g(n))$
∴ ${T_1(n)}*{T_2(n)}$ = $O(f(n).g(n))$ option A)