>aα=f(A-{aξ：ξ<α}) は P' 全体に広がる可能性がある
可能性は無い。
α>β ⇒ A-{aξ：ξ<α}⊂A-{aξ：ξ<β} ∧ A-{aξ：ξ<α}≠A-{aξ：ξ<β}
が成立っているから。

さすが大学1年4月に落ちこぼれただけのことはあるね　こりゃ酷い