4.5等价和偏序新