:: deftheorem defines -closed ROUGHS_4:def 1 :
for f being Function
for A being set holds
( A is f -closed iff A = f . A );