could refer to a number of things in mathematics:
In number theory, the successor of the number one in the natural numbers, or in any other set of numbers which contain the natural numbers as a subrig, such as the integers, the rational numbers, or the real numbers.
In set theory and dependent type theory, the set with two elements; i.e. the boolean domain.
In category theory, the interval category or the interval poset
Last revised on August 23, 2023 at 06:12:07. See the history of this page for a list of all contributions to it.