Definition:Weak Predecessor