Conditioned

Conditioned[expr,cond] or exprcond represents expr conditioned by the predicate cond.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.