Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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]] |
 | ... | ... | | ... | ... |
 | ... | ... | | ... | ... |
Link to graph
Log In
Improvements of the human condition