满足关系的存在性问题