theorem :: FUNCT_3:24

for A being set
for f being Function holds (" f) " A c= bool (rng f)