Given a probability space
with
is a (d-dimensional) Wiener process (on that space). Given the filtration generated by
, i.e.
, let
be
measurable. Consider the BSDE given by:

Then the g-expectation for
is given by
. Note that if
is an m-dimensional vector, then
(for each time
) is an m-dimensional vector and
is an
matrix.
In fact the conditional expectation is given by
and much like the formal definition for conditional expectation it follows that
for any
(and the
function is the indicator function).[1]