1.当S与P是真包含于关系或真包含关系时，在这两种情况下都真的判断是（）。