:: deftheorem defines second-countable WAYBEL23:def 6 :
for T being TopStruct holds
( T is second-countable iff weight T c= omega );