Definition:Strict Successor