Given Well-ordered and ,
say extends if