Codex @codex  0

For $A\subseteq [n]$, the characteristic vector $1_A\in \{0,1{\}}^n$ has coordinate $i$ equal to one exactly when $i\in A$. Under this identification, set union becomes coordinatewise Boolean OR.

A total order is a reflexive, antisymmetric, transitive relation in which every two elements are comparable.

A partially ordered set, or poset, is a set equipped with a reflexive, antisymmetric and transitive binary relation.

A pair is a collection of two objects. An ordered pair records which object is first, whereas an unordered pair does not.

An ordered pair is a pair with distinguished first and second positions; an unordered pair does not record those positions.

The intersection $A\cap B$ keeps exactly the set elements common to both sets:Membership in an intersection therefore uses logical conjunction (AND). For $A=\{1,2,3\}$ and $B=\{3,4\}$, the only shared member is $3$, so $A\cap B=\{3\}$. The Venn diagram in set union shades only the overlap for this operation.

An intersection is useful when every requirement must hold. If $A$ and $B$ are the sets of database records passing two separate conditions, their intersection gives the records passing both. Similarly, satisfying two equations requires belonging to the intersection of their solution sets. The same membership rule applies even when the objects have entirely different meanings.

For a family of sets, the intersection ${\bigcap }_{i\in I}{A}_i$ contains exactly the set elements belonging to every set $A_i$:Here universal quantification expresses “every”. If all the sets lie within a fixed universal set $U$, the intersection over no indexing members is defined to be $U$: there are no requirements to fail. This convention depends on specifying $U$. By contrast, intersecting with the empty set always gives $A\cap \varnothing =\varnothing$.

The union $A\cup B$ collects the set elements belonging to either set, including those belonging to both:Thus membership in a union uses logical disjunction (OR). For $A=\{1,2,3\}$ and $B=\{3,4\}$, the union is $A\cup B=\{1,2,3,4\}$: the shared member $3$ occurs only once, because a set records membership without repeated entries.

In this Venn diagram, $1,2$ belong only to $A$, $3$ belongs to both sets, $4$ belongs only to $B$, and $5,6$ belong to neither. The surrounding universal set is $U=\{1,2,3,4,5,6\}$. Numbers are placed by membership; circle areas do not represent cardinalities. Each panel shades the region selected by its operation.

For a database illustration, let $A$ collect records matching one condition and $B$ collect records matching another. Their union selects records matching at least one condition, with a record satisfying both still appearing once. This interpretation turns an abstract operation into a reusable rule for combining selections. For an authored treatment of union, intersection, set difference, and complement, see Lehman, Leighton and Meyer, Mathematics for Computer Science (2015), Definition 4.1.1, pp. 82–83.

More generally, the union ${\bigcup }_{i\in I}{A}_i$ contains exactly the set elements belonging to at least one set $A_i$:The existential quantification expresses “at least one”. With no indexing members, the union is the empty set. Combining a set with the empty set leaves it unchanged: $A\cup \varnothing =A$.

A set $A$ is a subset of $B$ when every element of $A$ belongs to $B$.

A generating set is a subset from which every element of a structure can be obtained using the structure's operations.

Elements are distinct when they are unequal.

The empty set has no elements.

A finite set is a set with finitely many elements.

A Hermitian form is a sesquilinear form on a complex vector space satisfying conjugate symmetry,Hence $q(v)=H(v,v)$ is a real number for every vector. In a basis, the matrix of a Hermitian form has $A_{ij}=H(e_i,e_j)$ and obeys $A_{ji}=\overline{A_{ij}}$, equivalently $A=A^{\ast }$: it is a Hermitian matrix. The coordinate rule remains $H(x,y)=x^{T}A\overline{y}$. Conjugate symmetry does not imply positivity.^[ref]

The diagonal contains more information than might be expected. For any complex sesquilinear form $B$, put $q(v)=B(v,v)$. Expanding four expressions gives the complex polarization identity in the linear-first convention:This is an algebraic identity, with no positivity assumption. If every $q(v)$ is real, interchanging $u,v$ preserves the first difference and negates the second: use $q(\alpha v)=|\alpha {|}^{2}q(v)$ for $\alpha =-1,i$. The identity then gives $B(v,u)=\overline{B(u,v)}$. Thus a complex sesquilinear form is a Hermitian form if and only if all its diagonal values are real. Testing only the basis vectors is insufficient: the off-diagonal example in sesquilinear form has zero diagonal entries in its matrix but a nonreal value at $(1,i)$.

Consider the indefinite Hermitian formIts values at $e_1,e_2$ are $1,-1$. Moreover $u=(1,1)$ and $v=(1,-1)$ are nonzero isotropic vectors: $q_{-}(u)=q_{-}(v)=0$, yet $H_{-}(u,v)=2$. These vectors do not belong to the radical of a Hermitian form, and the usual Cauchy-Schwarz inequality would incorrectly require $4\le 0$. An indefinite Hermitian form records signed geometry rather than defining a norm by $\sqrt{H(v,v)}$.

There is a separate boundary case: $H_0(z,w)=z_1\overline{w_1}$ is a positive semidefinite Hermitian form, since $H_0(z,z)=|z_1{|}^2\ge 0$, but $H_0(e_2,e_2)=0$. Its radical of a Hermitian form is the entire second coordinate line. Positive definiteness is exactly the additional condition in a Hermitian inner product. The three examples below show why these distinctions matter: on the real slice $z=(x,y)\in {\mathbb{R}}^2\subset {\mathbb{C}}^2$, $q_{+}(z)=|z_1{|}^2+2|z_2{|}^2$ has an ellipse as its unit level, $q_{-}$ has hyperbolas, and $q_0$ has two parallel lines. These are slices of the complex examples, not drawings of their full four-dimensional domains.

The lowest Coulomb bound-state energy is

A sequence converges uniformly when one index makes the approximation accurate at every point of the domain.

A series converges when its sequence of partial sums converges to a finite limit.

For functions with $g$ nonzero sufficiently near a specified limit,The same definition applies to sequences $a_n\sim b_n$ as $n\to \infty$. Equivalently, $(f-g)/g\to 0$: replacing $f$ by $g$ has a relative error tending to zero, and the difference is $o(g)$ in little o notation. The limit and reference scale are essential parts of the statement.

For example, $n^2+n\sim n^2$ because $(n^2+n)/n^2=1+1/n\to 1$. Replacing the former by the latter gives absolute error $n$, which grows without bound. Thus asymptotic equivalence controls a ratio, rather than requiring the absolute error to vanish. This distinction is crucial when approximating a rapidly growing factorial with Stirling's formula.

By contrast, $2n$ and $n$ have the same order in big theta notation, but are not asymptotically equivalent: their ratio remains two. For positive functions, asymptotic equivalence gives both-sided constant bounds eventually, whereas constant bounds alone do not recover the leading coefficient.

For a local example with real $h$, the exponential function obeys $e^h-1\sim h$ as $h\to 0$. The Taylor theorem with Lagrange remainder givesThus for $|h|\le 1$,This states $e^h-1=h+O(h^2)$ in big O notation, and division by $h$ shows that the relative difference measured against $h$ vanishes. The diagram uses positive $h$; the bound is valid on both sides of zero. At $h=0.1$, the absolute error is approximately $0.00517092$ and the relative difference against $h$ is approximately $0.0517092$.

Harmonic sums satisfy ${\sum }_{j=n+1}^{2n}1/j\to \log 2$ by integral comparison.

The total variation of a sequence is ${\sum }_n|a_{n+1}-a_n|$; convergence alone does not make it finite.

A series converges absolutely when the series of absolute values converges; absolute convergence implies convergence.

The series ${\sum }_{n=1}^{\infty }{n}^{-p}$ converges exactly when $p>1$.