f:C→C の意味かな、それだったらf∈C^Cって書き方が正しいよねとか思ってた