Empty set in the context of Field of sets

In mathematics, a set is a collection of different things; the things are elements or members of the set and are typically mathematical objects: numbers, symbols, points in space, lines, other geometric shapes, variables, or other sets. A set may be finite or infinite. There is a unique set with no elements, called the empty set; a set with a single element is a singleton.

Sets are ubiquitous in modern mathematics. Indeed, set theory, more specifically Zermelo–Fraenkel set theory, has been the standard way to provide rigorous foundations for all branches of mathematics since the first half of the 20th century.

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."

In mathematics, the intersection of two or more objects is another object consisting of everything that is contained in all of the objects simultaneously. For example, in Euclidean geometry, when two lines in a plane are not parallel, their intersection is the point at which they meet. More generally, in set theory, the intersection of sets is defined to be the set of elements which belong to all of them.

Intersections can be thought of either collectively or individually, see Intersection (geometry) for an example of the latter. The definition given above exemplifies the collective view, whereby the intersection operation always results in a well-defined and unique, although possibly empty, set of mathematical objects. In contrast, the individual view focuses on the separate members of this set. Given this view, intersections need not be unique, as shown by the two points of intersection between a circle and a line pictured. Similarly, (individual) intersections need not exist as between two parallel but distinct lines in Euclidean geometry.

The concept of "The Void" in philosophy encompasses the ideas of nothingness and emptiness, a notion that has been interpreted and debated across various schools of metaphysics. In ancient Greek philosophy, the Void was discussed by thinkers like Democritus, who saw it as a necessary space for atoms to move, thereby enabling the existence of matter. Contrasting this, Aristotle famously denied the existence of a true Void, arguing that nature inherently avoids a vacuum.

In Eastern philosophical traditions, the Void takes on significant spiritual and metaphysical meanings. In Buddhism, Śūnyatā refers to the emptiness inherent in all things, a fundamental concept in understanding the nature of reality. In Taoism, the Void is represented by Wuji, the undifferentiated state from which all existence emerges, embodying both the potential for creation and the absence of form.

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.

In topology and related branches of mathematics, a connected space is a topological space that cannot be represented as the union of two or more disjoint non-empty open subsets. Connectedness is one of the principal topological properties that distinguish topological spaces.

In mathematics, the power set (or powerset) of a set S is the set of all subsets of S, including the empty set and S itself. In axiomatic set theory (as developed, for example, in the ZFC axioms), the existence of the power set of any set is postulated by the axiom of power set. The powerset of S is variously denoted as P(S), 𝒫(S), P(S), ${\displaystyle \mathbb {P} (S)}$, or 2.Any subset of P(S) is called a family of sets over S.

In set theory, the union (denoted by ∪) of a collection of sets is the set of all elements in the collection. It is one of the fundamental operations through which sets can be combined and related to each other. A nullary union refers to a union of zero (⁠${\displaystyle 0}$⁠) sets and it is by definition equal to the empty set.

For explanation of the symbols used in this article, refer to the table of mathematical symbols.

In mathematics, specifically in topology,the interior of a subset S of a topological space X is the union of all subsets of S that are open in X.A point that is in the interior of S is an interior point of S.The interior of S is the complement of the closure of the complement of S.In this sense interior and closure are dual notions.

The exterior of a set S is the complement of the closure of S; it consists of the points that are in neither the set nor its boundary.The interior, boundary, and exterior of a subset together partition the whole space into three blocks (or fewer when one or more of these is empty).

In geometry, an intersection between geometric objects (seen as sets of points) is a point, line, or curve common to two or more objects (such as lines, curves, planes, and surfaces). The simplest case in Euclidean geometry is the line–line intersection between two distinct lines, which either is one point (sometimes called a vertex) or does not exist (if the lines are parallel). Other types of geometric intersection include:

• Line–plane intersection
• Line–sphere intersection
• Intersection of a polyhedron with a line
• Line segment intersection
• Intersection curve

Determination of the intersection of flats – linear geometric objects embedded in a higher-dimensional space – is a simple task of linear algebra, namely the solution of a system of linear equations. In general the determination of an intersection leads to non-linear equations, which can be solved numerically, for example using Newton iteration. Intersection problems between a line and a conic section (circle, ellipse, parabola, etc.) or a quadric (sphere, cylinder, hyperboloid, etc.) lead to quadratic equations that can be easily solved. Intersections between quadrics lead to quartic equations that can be solved algebraically.

In term logic (a branch of philosophical logic), the square of opposition is a diagram representing the relations between the four basic categorical propositions. The origin of the square can be traced back to Aristotle's tractate On Interpretation and its distinction between two oppositions: contradiction and contrariety. However, Aristotle did not draw any diagram; this was done several centuries later.

In Euclidean geometry, the intersection of a line and a line can be the empty set, a single point, or a line (if they coincide). Distinguishing these cases and finding the intersection have uses, for example, in computer graphics, motion planning, and collision detection.

In a Euclidean space, if two lines are not coplanar, they have no point of intersection and are called skew lines. If they are coplanar, however, there are three possibilities: if they coincide (are the same line), they have all of their infinitely many points in common; if they are distinct but have the same direction, they are said to be parallel and have no points in common; otherwise, they have a single point of intersection, denoted as singleton set, for instance ${\displaystyle \{A\}}$.

In morphology, a null morpheme or zero morpheme is a morpheme that has no phonetic form. In simpler terms, a null morpheme is an "invisible" affix. It is a concept useful for analysis, by contrasting null morphemes with alternatives that do have some phonetic realization. The null morpheme is represented as either the figure zero (0) or the empty set symbol ∅.

In most languages, it is the affixes that are realized as null morphemes, indicating that the derived form does not differ from the stem. For example, plural form sheep can be analyzed as combination of sheep with added null affix for the plural. The process of adding a null affix is called null affixation, null derivation or zero derivation. The concept was first used by the 4th century BCE Sanskrit grammarian from ancient India, Pāṇini, in his Sanskrit grammar.