Predicate

A set of fields V $\subseteq$ $\mathbb{F}$ = {$v_1$,$v_2$,...,$v_n$} that satisfy a certain relationship $\mathbb{R}$ is grouped as predicate and is denoted by P($v_1$,$v_2$,...,$v_n$).