Predicate

(Unknown grade)

This page is a stub

This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.

Definition

A predicate, $P$, is a $1$-place relation on a set $X$.

• We say "$P$ is true of $x\in X$" if $x\in P$
• We write $P(x)\iff x\in P$ to emphasise that $x$ has the predicate

See also

• Axiom of schema of comprehension - This states that given a set $A$ we can construct a set $B$ such that $B=\{x\in A\ \vert P(x)\}$ for some predicate $P$