0421132人目の素数さん垢版 | 大砲2024/05/10(金) 19:14:21.60ID:XL3yS1ND >>420 intA={x|x∈∃U:open⊂A} extA=int(X\A) ∂A=X\(intA∪extA)