RT,不严格递减的定义是什么，其包不包含严格递减。