用来表示满足一个函数的所有情况