通用或图搜索算法的修改指针问题

请问，P属于M中的元素，那么说明P是n的后继节点。
那为什么还有P属于G和P不属于G的说法？