当S真包含于P时，则SAP为（），SEP为（），SIP为（），SOP为（）。