:: deftheorem TLDef defines topology-like ROUGHS_4:def 4 :
for X being set
for F being Subset-Family of X holds
( F is topology-like iff ( {} in F & X in F & F is union-closed & F is V97() ) );