$X$ is a random variable which has exponential distribution. We define the event $A=\{a<X<b\}$. Then how is the conditional expectation $E(X\mid A)$ and conditional density $f_{X\mid A}(x)$ defined?
Is $f_{X\mid A}=\frac{f_X(x)}{\Pr(A)}$ for $a<X<b$ and $0$ else?
Is $E(X\mid A)$ same as $E(1_AX)$ where $1_A$ is the indicator function. The latter I suppose is $E(1_AX)=\int_a^bf_X(t)tdt$, where $f_X(x)$ is the density of $X$.
Or is $E(X\mid A)=\int_0^\infty f_{X\mid A}(t)tdt$ which, assuming the above definition of conditional density is correct, is equal to $\frac{E(1_AX)}{\Pr(A)}$