この場合、「''y''は''x''を被覆する」または「''y''は''x''のimmediatesuccessor(直接の後続)である」という.
被覆