:: deftheorem defines Natural ROUGHS_4:def 27 :
for T being non empty TopRelStr holds
( T is Natural iff for x being Subset of T holds
( x in the topology of T iff x is LAp T -closed ) );