局所コンパクトの定義って次の2種を見かけるんだが、同値だったっけ?
1.∀x∈X∃Aコンパクト[x∈op(A)]
2.∀x∈X,x∈∃U開集合[cl(U)コンパクト]
(op,clはそれぞれ開核作用素、閉包作用素)