일반적인 위상공간이 주어졌을때, 다음이 성립할수있음?
There is a basis B s.t. for every open set O in Topology,
O is the union of countable, disjoint member of basis B
이거 usual topology에서는 되는데, 당연히 일반적인 위상공간에선 안되겠지?