Subset in the context of Marginal density

Hypernymy and hyponymy are the semantic relations between a generic term (hypernym) and a more specific term (hyponym). The hypernym is also called a supertype, umbrella term, or blanket term. The hyponym names a subtype of the hypernym. The semantic field of the hyponym is included within that of the hypernym. For example, "pigeon", "crow", and "hen" are all hyponyms of "bird" and "animal"; "bird" and "animal" are both hypernyms of "pigeon", "crow", and "hen".

An integer is the number zero (0), a positive natural number (1, 2, 3, ...), or the negation of a positive natural number (−1, −2, −3, ...). The negations or additive inverses of the positive natural numbers are referred to as negative integers. The set of all integers is often denoted by the boldface Z or blackboard bold ${\displaystyle \mathbb {Z} }$.

The set of natural numbers ${\displaystyle \mathbb {N} }$ is a subset of ${\displaystyle \mathbb {Z} }$, which in turn is a subset of the set of all rational numbers ${\displaystyle \mathbb {Q} }$, itself a subset of the real numbers ⁠${\displaystyle \mathbb {R} }$⁠. Like the set of natural numbers, the set of integers ${\displaystyle \mathbb {Z} }$ is countably infinite. An integer may be regarded as a real number that can be written without a fractional component. For example, 21, 4, 0, and −2048 are integers, while 9.75, ⁠5+1/2⁠, 5/4, and the square root of 2 are not.

In number theory, an arithmetic, arithmetical, or number-theoretic function is generally any function whose domain is the set of positive integers and whose range is a subset of the complex numbers. Hardy & Wright include in their definition the requirement that an arithmetical function "expresses some arithmetical property of n". There is a larger class of number-theoretic functions that do not fit this definition, for example, the prime-counting functions. This article provides links to functions of both classes.

An example of an arithmetic function is the divisor function whose value at a positive integer n is equal to the number of divisors of n.

A firearm is any type of gun that shoots projectiles using high explosive pressure generated from combustion (deflagration) of chemical propellant, most often black powder in antique firearms and smokeless powder in modern firearms. Small arms is a subset of light firearms that is designed to be readily carried and operated by an individual. The term "firearm" is however variably defined in both technically and legally in different countries (see legal definitions), and can be used colloquially (sometimes incorrectly) to refer to any type of guns.

The first firearms originated in 10th-century Song dynasty China (see gunpowder weapons in the Song dynasty), when bamboo tubes containing gunpowder and pellet projectiles were mounted on spears to make the portable fire lance, which was operable by a single person and was later used effectively as a shock weapon in the siege of De'an in 1132. In the 13th century, fire lance barrels were replaced with metal tubes and transformed into the metal-barreled hand cannon, and the technology gradually spread throughout Eurasia during the 14th century. Older firearms typically used black powder as a propellant, but modern firearms use smokeless powder or other explosive propellants. Most modern firearms (with the notable exception of smoothbore shotguns) have rifled barrels to impart a stabilizing spin to the bullet for improved external ballistics.

A majority is more than half of a total; however, the term is commonly used with other meanings, as explained in the "Related terms" section below.

It is a subset of a set consisting of more than half of the set's elements. For example, if a group consists of 31 individuals, a majority would be 16 or more individuals, while having 15 or fewer individuals would not constitute a majority.

In probability theory and statistics, a probability distribution is a function that gives the probabilities of occurrence of possible events for an experiment. It is a mathematical description of a random phenomenon in terms of its sample space and the probabilities of events (subsets of the sample space).

For instance, if X is used to denote the outcome of a coin toss ("the experiment"), then the probability distribution of X would take the value 0.5 (1 in 2 or 1/2) for X = heads, and 0.5 for X = tails (assuming that the coin is fair). More commonly, probability distributions are used to compare the relative occurrence of many different random values.

A lattice is an abstract structure studied in the mathematical subdisciplines of order theory and abstract algebra. It consists of a partially ordered set in which every pair of elements has a unique supremum (also called a least upper bound or join) and a unique infimum (also called a greatest lower bound or meet). An example is given by the power set of a set, partially ordered by inclusion, for which the supremum is the union and the infimum is the intersection. Another example is given by the natural numbers, partially ordered by divisibility, for which the supremum is the least common multiple and the infimum is the greatest common divisor.

Lattices can also be characterized as algebraic structures satisfying certain axiomatic identities. Since the two definitions are equivalent, lattice theory draws on both order theory and universal algebra. Semilattices include lattices, which in turn include Heyting and Boolean algebras. These lattice-like structures all admit order-theoretic as well as algebraic descriptions.

In mathematics, a space is a set (sometimes known as a universe) endowed with a structure defining the relationships among the elements of the set.A subspace is a subset of the parent space which retains the same structure.While modern mathematics uses many types of spaces, such as Euclidean spaces, linear spaces, topological spaces, Hilbert spaces, or probability spaces, it does not define the notion of "space" itself.

A space consists of selected mathematical objects that are treated as points, and selected relationships between these points. The nature of the points can vary widely: for example, the points can represent numbers, functions on another space, or subspaces of another space. It is the relationships that define the nature of the space. More precisely, isomorphic spaces are considered identical, where an isomorphism between two spaces is a one-to-one correspondence between their points that preserves the relationships. For example, the relationships between the points of a three-dimensional Euclidean space are uniquely determined by Euclid's axioms, and all three-dimensional Euclidean spaces are considered identical.

In mathematical analysis, a domain or region is a non-empty, connected, and open set in a topological space. In particular, it is any non-empty connected open subset of the real coordinate space R or the complex coordinate space C. A connected open subset of coordinate space is frequently used for the domain of a function.

The basic idea of a connected subset of a space dates from the 19th century, but precise definitions vary slightly from generation to generation, author to author, and edition to edition, as concepts developed and terms were translated between German, French, and English works. In English, some authors use the term domain, some use the term region, some use both terms interchangeably, and some define the two terms slightly differently; some avoid ambiguity by sticking with a phrase such as non-empty connected open subset.

In mathematics, the concept of a measure is a generalization and formalization of geometrical measures (length, area, volume) and other common notions, such as magnitude, mass, and probability of events. These seemingly distinct concepts have many similarities and can often be treated together in a single mathematical context. Measures are foundational in probability theory, integration theory, and can be generalized to assume negative values, as with electrical charge. Far-reaching generalizations (such as spectral measures and projection-valued measures) of measure are widely used in quantum physics and physics in general.

The intuition behind this concept dates back to Ancient Greece, when Archimedes tried to calculate the area of a circle. But it was not until the late 19th and early 20th centuries that measure theory became a branch of mathematics. The foundations of modern measure theory were laid in the works of Émile Borel, Henri Lebesgue, Nikolai Luzin, Johann Radon, Constantin Carathéodory, and Maurice Fréchet, among others. According to Thomas W. Hawkins Jr., "It was primarily through the theory of multiple integrals and, in particular the work of Camille Jordan that the importance of the notion of measurability was first recognized."

Proprietary software is software that grants its creator, publisher, or other rightsholder or rightsholder partner a legal monopoly by modern copyright and intellectual property law to exclude the recipient from freely sharing the software or modifying it, and—in some cases, as is the case with some patent-encumbered and EULA-bound software—from making use of the software on their own, thereby restricting their freedoms.

Proprietary software is a subset of non-free software, a term defined in contrast to free and open-source software; non-commercial licenses such as CC BY-NC are not deemed proprietary, but are non-free. Proprietary software may either be closed-source software or source-available software.

In statistics and probability, quantiles are cut points dividing the range of a probability distribution into continuous intervals with equal probabilities or dividing the observations in a sample in the same way. There is one fewer quantile than the number of groups created. Common quantiles have special names, such as quartiles (four groups), deciles (ten groups), and percentiles (100 groups). The groups created are termed halves, thirds, quarters, etc., though sometimes the terms for the quantile are used for the groups created, rather than for the cut points.

q-quantiles are values that partition a finite set of values into q subsets of (nearly) equal sizes. There are q − 1 partitions of the q-quantiles, one for each integer k satisfying 0 < k < q. In some cases the value of a quantile may not be uniquely determined, as can be the case for the median (2-quantile) of a uniform probability distribution on a set of even size. Quantiles can also be applied to continuous distributions, providing a way to generalize rank statistics to continuous variables (see percentile rank). When the cumulative distribution function of a random variable is known, the q-quantiles are the application of the quantile function (the inverse function of the cumulative distribution function) to the values {1/q, 2/q, …, (q − 1)/q}.

At large (before a noun: at-large) is a description for members of a governing body who are elected or appointed to represent a whole membership or population (notably a city, county, state, province, nation, club or association), rather than a subset. In multi-hierarchical bodies, the term rarely extends to a tier beneath the highest division. A contrast is implied, with certain electoral districts or narrower divisions. It can be given to the associated territory, if any, to denote its undivided nature, in a specific context. Unambiguous synonyms are the prefixes of cross-, all- or whole-, such as cross-membership, or all-state.

The term is used as a suffix referring to specific members (such as the U.S. congressional Representative/the Member/Rep. for Wyoming at large). It figures as a generic prefix of its subject matter (such as Wyoming is an at-large U.S. congressional district, at present). It is commonly used when making or highlighting a direct contrast with subdivided equivalents that may be past or present, or seen in exotic comparators. It indicates that the described zone has no further subsets used for the same representative purpose. An exception is a nil-exceptions arrangement of overlapping tiers (resembling or being district and regional representatives, one set of which is at large) for return to the very same chamber, and consequent issue of multiple ballots for plural voting to every voter. This avoids plural voting competing with single voting in the jurisdiction, an inherent different level of democratic power.

In mathematics, a binary relation R is called well-founded (or wellfounded or foundational) on a set or, more generally, a class X if every non-empty subset (or subclass) S ⊆ X has a minimal element with respect to R; that is, there exists an m ∈ S such that, for every s ∈ S, one does not have s R m. More formally, a relation is well-founded if:$${\displaystyle (\forall S\subseteq X)\;[S\neq \varnothing \implies (\exists m\in S)(\forall s\in S)\lnot (s\mathrel {R} m)].}$$Some authors include an extra condition that R is set-like, i.e., that the elements less than any given element form a set.

Equivalently, assuming the axiom of dependent choice, a relation is well-founded when it contains no infinite descending chains, meaning there is no infinite sequence x₀, x₁, x₂, ... of elements of X such that x_n+1 R x_n for every natural number n.

In mathematics, a partition of a set is a grouping of its elements into non-empty subsets, in such a way that every element is included in exactly one subset.

Every equivalence relation on a set defines a partition of this set, and every partition defines an equivalence relation. A set equipped with an equivalence relation or a partition is sometimes called a setoid, typically in type theory and proof theory.