Definition:Strict Predecessor