For any element a of P, let Da = {U ∈ G | a ∈ U}.
对于 P 的任何元素 a，设 Da = { U ∈ G | a ∈ U }。