A [[Predicate]] is a [[Function]] that acts upon a [[Finite]] number of [[Proposition|Propositions]]. >[!example] Is [[Even]] [[Predicate]] >$\huge P_{\op{even}}(x) = \ba{x \, \op{mod} \,2 = 0} $