:: deftheorem defines naturally_generated ROUGHS_4:def 28 :
for T being non empty TopRelStr holds
( T is naturally_generated iff the topology of T = GenTop (LAp T) );