theorem Th11: :: FUNCT_3:11

for B being set
for f being Function holds (.: f) " B c= bool (dom f)