若MOP为假而sAM为真，清用欧拉图表示s与P可能具有的各种外延关系。