Polish space
"X" をポーランド空間とし、formula_3 を "X" 上の時間同次なマルコフ半群についての移動確率とする。すなわち、