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/04/07 19:01] nikolaj |
predicate_library [2014/12/04 13:59] (current) 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 10: | Line 10: | ||
| ... | ... | | | ... | ... | | ||
| category | [[Category theory]] | | | category | [[Category theory]] | | ||
- | | compact | [[Topological space]] | | ||
| ... | ... | | | ... | ... | | ||
| ... | ... | | | ... | ... | | ||
Line 18: | Line 17: | ||
| ... | ... | | | ... | ... | | ||
| ... | ... | | | ... | ... | | ||
- | | countable | [[Surjective function]] | | ||
| ... | ... | | | ... | ... | | ||
| countably infinite | [[Bijective function]] | | | countably infinite | [[Bijective function]] | | ||
Line 51: | Line 49: | ||
| ... | ... | | | ... | ... | | ||
| ... | ... | | | ... | ... | | ||
- | | ... | ... | | ||
- | | Hausdorff space | [[Neighbourhood]] | | ||
| ... | ... | | | ... | ... | | ||
| holomorphic | [[Fréchet derivative]] | | | holomorphic | [[Fréchet derivative]] | | ||
Line 66: | Line 62: | ||
| ... | ... | | | ... | ... | | ||
| ... | ... | | | ... | ... | | ||
- | | ... | ... | | + | | maximal in | [[Maximal extension in a set]] | |
| ... | ... | | | ... | ... | | ||
| ... | ... | | | ... | ... | |