公理3用符号表示
公理3用符号表示： P∈α,且P∈β $\Rightarrow$ α∩β=l， 且P∈l
