其元素满足谓词对的子集