:: deftheorem defines preinterior ROUGHS_4:def 13 :
for X being set
for O being Function of (bool X),(bool X) holds
( O is preinterior iff ( O is intensive & O is /\-preserving & O is universe-preserving ) );