Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
predicate_library [2014/10/25 14:24] nikolaj |
predicate_library [2014/10/29 20:00] 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]] | | ||
