Difference between revisions of "Template:Mathematical logic"

From blackwiki
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]]
* [[Range (mathematics)|Range]]
+
* [[Codomain]]
 +
* [[Image (mathematics)|Image]]
 
* [[Map (mathematics)|Map]]
 
* [[Map (mathematics)|Map]]
 
* [[Function (mathematics)|Function]]
 
* [[Function (mathematics)|Function]]

Revision as of 10:10, 22 September 2016

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}}
    • shows the template collapsed to the title bar if there is a {{navbar}}, a {{sidebar}}, or some other table on the page with the collapsible attribute
    • shows the template in its expanded state if there are no other collapsible items on the page

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