在规范归约中，用( )来刻画可归约串。