theorem :: JGRAPH_3:2

for f being Function
for B, C being set holds (f | B) .: C = f .: (C /\ B)