Note: Conditional expectation for non-negative random variables is always well defined, finite expectation is not needed.
注釈: 非負の確率変数に対する条件付き期待値は常に well-defind であり、有限な期待値は必ずしも必要ではない。