It's called a range restriction. There's no established notation, but you might as well use the Z notation which is f  ▷ B'. (f \rhd B'. in LaTeX plus amsfonts)