ForAll

ForAll[x,expr] represents the statement that expr is True for all values of x. 

ForAll[x,cond,expr] states that expr is True for all x satisfying the condition cond. 

ForAll[{x1,x2,…},expr] states that expr is True for all values of all the xi. 

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