:: deftheorem Def6 defines without_boundary MFOLD_0:def 6 :
for M being non empty TopSpace holds
( M is without_boundary iff Int M = the carrier of M );