Difference between revisions of "Template:Mathematical logic"
Jump to navigation
Jump to search
imported>Edokter (Normalize) |
imported>JP.Martin-Flatin (Naive set theory: Added "Element" + Replaced "Range", which is ambiguous, with "Codomain" and "Image", which are not.) |
||
| Line 62: | Line 62: | ||
* [[Set (mathematics)|Set]] | * [[Set (mathematics)|Set]] | ||
* [[Empty set]] | * [[Empty set]] | ||
| + | * [[Element (mathematics)|Element]] | ||
* [[Enumeration]] | * [[Enumeration]] | ||
* [[Extensionality]] | * [[Extensionality]] | ||
| Line 72: | Line 73: | ||
* [[Recursive set]] | * [[Recursive set]] | ||
* [[Domain of a function|Domain]] | * [[Domain of a function|Domain]] | ||
| − | * [[ | + | * [[Codomain]] |
| + | * [[Image (mathematics)|Image]] | ||
* [[Map (mathematics)|Map]] | * [[Map (mathematics)|Map]] | ||
* [[Function (mathematics)|Function]] | * [[Function (mathematics)|Function]] | ||
Revision as of 10:10, 22 September 2016
File:Test Template Info-Icon - Version (2).svg Template documentation
Initial visibility: currently defaults to autocollapse
To set this template's initial visibility, the |state= parameter may be used:
|state=collapsed:{{Mathematical logic|state=collapsed}}to show the template collapsed, i.e., hidden apart from its title bar|state=expanded:{{Mathematical logic|state=expanded}}to show the template expanded, i.e., fully visible|state=autocollapse:{{Mathematical logic|state=autocollapse}}
If the |state= parameter in the template on this page is not set, the template's initial visibility is taken from the |default= parameter in the Collapsible option template. For the template on this page, that currently evaluates to autocollapse.
See also
- {{Set theory}}
| Editors can experiment in this template's sandbox (create | mirror) and testcases (create) pages. Subpages of this template. |