在s0P中，全部外延都得到断定的是( )。