This is a list of predicates together with the entries in which they are defined. So for example “$f$…functional” is a property which, according to the list below, is defined in the entry Function. Note that the list excludes certain predicates if they are named after the exact name of an entry. This is the case for some set membership predicates, So for example “$V$…vector space” is not in the list, because there is a whole entry devoted to that type of set, namely vector space. Similarly, “bijective” can be found in Bijective function.

If $x$ is a term and $\mathrm{isfoo}$ is the name of a presdicate $P$, we write “$x$ … isfoo” for $P(x)$ and “$x$ … not isfoo” or “$x$ … not an isfoo” for $\neg P(x)$.

Glossary, Predicate logic