>存在は関数の変項

じゃあ、関数の存在も関数の変項ということ?