:: deftheorem Def4 defines nowhere_dense TEX_3:def 4 :
for X being non empty TopSpace
for IT being SubSpace of X holds
( IT is nowhere_dense iff for A being Subset of X st A = the carrier of IT holds
A is nowhere_dense );