:: deftheorem defines Fr MFOLD_0:def 5 :
for M being non empty TopSpace holds Fr M = (Int M) ` ;