for B, X being set
for D being non empty set
for f being Function of X,D holds (.: f) " B c= bool X