"y" se denomina también un sucesor directo de "x"; correspondientemente, se denomina a "x" un predecesor directo de "y".