^Uの定義は何?