Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
predicate_library [2014/10/25 16:49] nikolaj |
predicate_library [2014/12/04 13:59] nikolaj |
||
---|---|---|---|
Line 1: | Line 1: | ||
===== Predicate library ===== | ===== Predicate library ===== | ||
==== Meta ==== | ==== Meta ==== | ||
- | This is a list of predicates together with the entries in which they are defined. So for example "$S$...countable" is a property which, according to the list below, is defined in the entry [[Injective 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]]. | + | 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)$. | 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)$. | ||
Line 17: | Line 17: | ||
| ... | ... | | | ... | ... | | ||
| ... | ... | | | ... | ... | | ||
- | | countable | [[Surjective function]] | | ||
| ... | ... | | | ... | ... | | ||
| countably infinite | [[Bijective function]] | | | countably infinite | [[Bijective function]] | | ||
Line 63: | Line 62: | ||
| ... | ... | | | ... | ... | | ||
| ... | ... | | | ... | ... | | ||
- | | ... | ... | | + | | maximal in | [[Maximal extension in a set]] | |
| ... | ... | | | ... | ... | | ||
| ... | ... | | | ... | ... | |