Category:Definitions/Constants

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Constants.
Related results can be found in Category:Constants.


A constant is a name for an object (usually a number, but the concept has wider applications) which does not change during the context of a logical or mathematical argument.


A constant can be considered as an operator which takes no operands.

A constant can also be considered as a variable whose domain is a singleton.

Subcategories

This category has the following 2 subcategories, out of 2 total.