• ← Condition

PatternTest (?)

WMA link

PatternTest[pattern, test]

pattern ? test

constrains pattern to match expr only if the evaluation of test[expr] yields True.

• • MatchQ[3, _Integer?(#>0&)]

• • MatchQ[-3, _Integer?(#>0&)]

• • MatchQ[3, Pattern[3]]