• 値域 であるような関数述語 という