Definition:Weak Successor