:: deftheorem Def13 defines universe-preserving ROUGHS_2:def 13 :
for A being set
for f being Function of (bool A),(bool A) holds
( f is universe-preserving iff f . A = A );