The equivalence closure of a binary relation $R$ is the least equivalence relation containing it. Add diagonal and reversed pairs, then connect points by finite chains. Constant chains prove reflexivity, reversed chains prove symmetry, and concatenated chains prove transitivity. Any equivalence relation extending $R$ contains every such chain endpoint by induction.

For two equivalence relations on the same set, their composite contains each and is reflexive. It is symmetric exactly when the relations commute. It is transitive exactly when $S\circ R\subseteq R\circ S$, which by inversion is also equivalent to commutation. Under these conditions the composite is the smallest equivalence relation containing both. For congruences modulo $m,n$ on the integers, their composite is congruence modulo $\gcd (m,n)$.

// Target: combinatorics.bigb

Using the left-to-right convention for composition of relations, two equivalence relations $R,S$ have an equivalence-relation composite exactly when $R\circ S=S\circ R$. Its inverse is $S\circ R$. Commutation gives $(R\circ S{)}^2=R^2\circ S^2=R\circ S$, proving transitivity. Every equivalence relation containing $R,S$ contains their two-step composite, so this is their least common extension.

// Destination: combinatorics.bigb

An equipotential curve is a planar level curve of a scalar potential. Where the gradient is nonzero, its tangent is perpendicular to that gradient. In potential flow, it is therefore perpendicular to the velocity field; this distinguishes equipotential curves from streamlines.

A nonnegative lifetime or claim law is new better than used in expectation if its mean residual life at every age with positive survival is at most its original mean. The displayed equivalent inequality says that its equilibrium claim-size distribution is no larger in stochastic order than the original law. For an Erlang distribution of shape two and rate one, the two survival functions are $(1+x/2)e^{-x}$ and $(1+x)e^{-x}$, so the condition holds.

In dimensionless equatorial wave units with gravity wave speed and beta plane coefficient one, a Fourier mode $e^{i(kx-\omega t)}$ obeys $\omega u-k\eta =iyv$ and $\omega \eta -ku=-i{v}^{\prime }$. Inverting this two-by-two linear system gives the displayed wave polarization, provided ${\omega }^2\ne k^2$. Inserting it in the meridional momentum equation gives the Hermite differential equation after a Gaussian factor is removed. At singular values the original equations, rather than these quotient formulae, determine whether a trapped mode exists.

For $|v_s(\eta )⟩=(|0⟩+(-1{)}^s{e}^{i\eta }|1⟩)/\sqrt{2}$, adding $\pi$ exchanges the two outcomes of the same projective measurement. At an angle $\varphi =j\pi /2$, the choices $\varphi$ and $-\varphi$ therefore specify the same unordered pair of projectors: their labels differ by $j\mathrm{mod}2$. An adaptive choice between these signs can be replaced by a fixed measurement and a classical label exchange. Together with Pauli-frame propagation along a measurement wire, this permits simultaneous measurements when all adaptive sign changes occur at these Clifford gate angles.

An epimorphism $e$ is extremal when a factorization $e=mh$ with $m$ a monomorphism forces $m$ to be an isomorphism. Every regular epimorphism is extremal: its coequalizer property factors $h$ back through $e$, giving an inverse to $m$. In a regular category, the converse follows by applying extremality to the regular-epi/mono image factorization.

For $k_y=0$ and $k_z\ne 0$, pressure elimination gives ${\dot{v}}_x=2\Omega \chi v_y-\nu k^2{v}_x$ and ${\dot{v}}_y=-2(\Omega -A)v_x-\nu k^2{v}_y$, where $\chi =k_z^2/k^2$. The inviscid frequency is the radial epicyclic frequency times $\sqrt{\chi }$. With $w=v_x/\sqrt{\chi }$, $(\Omega -A)|w{|}^2+\Omega |v_y{|}^2$ is conserved when viscosity vanishes. In a Keplerian flow it bounds kinetic-energy amplification by four, whereas with zero rotation the same system has the algebraic lift-up effect.

// Target: turbulence.bigb

For negative discriminant $-67$, a reduced positive definite binary quadratic form satisfies $1\le a\le \sqrt{67/3}<5$ and $b$ odd with $|b|\le a$. Checking $4a\mid b^2+67$ leaves only $(a,b,c)=(1,1,17)$ under the boundary convention. The reduction algorithm for a positive definite binary quadratic form therefore puts every form in this one proper equivalence class. Its unimodular shears give infinitely many distinct forms $x^2+(2n+1)xy+(n^2+n+17)y^2$.

The reduced-form bound $3a^2\le 32$ leaves $a=1,2,3$. Checking $c=(b^2+32)/(4a)$ and the boundary sign convention gives precisely the displayed forms. The middle one is imprimitive and represents the prime two. Odd represented primes are $1$ or $3$ modulo eight by the discriminant criterion for prime representation by a binary quadratic form. The first form represents only $1$ modulo eight among odd integers, and the last only $3$, so a prime is represented by $3x^2+2xy+3y^2$ exactly when it is $3$ modulo eight.

The reduced positive definite binary quadratic form bounds $|b|\le a\le c$ and $b^2-4ac=-39$ imply $1\le a\le \sqrt{13}$. Enumerating $a=1,2,3$ and using the nonnegative boundary sign convention gives the four triples $(a,b,c)=(1,1,10),(2,1,5),(2,-1,5),(3,3,4)$. Thus the number of reduced forms is four.

Local equilibrium associates the outgoing heat flux $q$ with outgoing entropy flux $q/\theta$ at positive temperature $\theta$. Its divergence appears in the Lagrangian entropy inequality, with the appropriate nominal flux in reference coordinates.

The pinching map is self-adjoint for the trace pairing, and $\log \mathcal{P}(\rho )$ is block diagonal. Thus $\mathrm{Tr}\rho \log \mathcal{P}(\rho )=\mathrm{Tr}\mathcal{P}(\rho )\log \mathcal{P}(\rho )$. The kernel of $\mathcal{P}(\rho )$ is contained in that of $\rho$, so the relative entropy is finite on its support. Expanding the quantum relative entropy gives the displayed identity. Its nonnegativity proves entropy increase, with equality exactly when the original state is already block diagonal.

Comoving entropy is the entropy density multiplied by the physical volume factor $a^3$ for a fixed comoving region in an expanding homogeneous universe. In adiabatic expansion it is conserved. Separate decoupled radiation sectors conserve their own comoving entropy, so disappearance of massive species can heat the still-equilibrated sector relative to a decoupled species.

For positive depth and reduced gravity, the characteristic speeds are $u,u\pm c$. Along the material characteristic, $D{g}^{\prime }=-2g^{\prime }{w}_e/h$. Along $D_{\pm }={\partial }_t+(u\pm c){\partial }_x$, the left-eigenvector compatibility equations areIf $w_e=0$ and $g^{\prime }$ is spatially constant, these reduce to the Riemann invariants $u\pm 4c$. Variable buoyancy or entrainment prevents that simplification.

The Picard theorem has two forms concerning the image of a holomorphic function. The Little Picard theorem permits at most one omitted value for a nonconstant entire function. The Great Picard theorem is local: near an isolated essential singularity, every complex value except possibly one occurs infinitely often. The complex exponential function $e^z$ and the function $e^{1/z}$ show that the possible exception is necessary.

Émile Picard presented the research in 1879 and published proofs in his 1880 memoir. Its opening footnote lists communications to the Académie des Sciences on 28 April, 19 May, and 20 October 1879; sections 3 and 15 contain the global and local results respectively. ^[ref]

An entire function is of exponential type if constants $A,B>0$ give the displayed bound everywhere. A genus-zero canonical product with ${\sum }_n|a_n{|}^{-1}<\infty$ obeys $|{\prod }_n(1-z/a_n)|\le \exp (|z|{\sum }_n|a_n{|}^{-1})$, since $1+u\le e^u$ for $u\ge 0$.

For a nonconstant entire function, put $M_f(R)={\max }_{|s|\le R}|f(s)|$. Its order measures the exponent in its exponential growth. Bounds $\log M_f(R)=O(R\log R)$ imply order at most one; a matching lower bound along the positive real axis proves order exactly one. This distinction is stronger than mere entire analyticity and controls the genus in Hadamard factorization.

// Target: analytic-number-theory.bigb

An exponential polynomial is a finite sum of polynomial multiples of exponentials. For distinct exponents, its terms are linearly independent over the polynomial ring: to isolate one term, apply the product of operators $(D-{\lambda }_j{)}^{\mathrm{deg}{P}_j+1}$ for all the other terms. On the remaining polynomial each operator becomes $D+{\lambda }_0-{\lambda }_j$, which is injective because its nonzero constant preserves the leading coefficient. A nonzero exponential polynomial is an entire function of exponential type. Its maximum-modulus logarithm is $O(R+\log R)$, and Jensen's formula gives at most $O(R)$ zeros, counted with multiplicity, in a disk of radius $R$.