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