Tinctura Bucco is a buchu tincture. Alcoholic extraction and the specified botanical material distinguish it from a buchu infusion.^[ref]

Decoctum Scoparii is a decoction of broom material. Its liquid extraction by heating differs from an expressed juice.^[ref]

Succus Scoparii is an expressed-juice preparation from broom material. Expression and extraction by boiling are different preparation processes.^[ref]

A subset of a metric space has boundedness when it lies in some ball of finite radius, equivalently when its diameter is finite. A function is bounded when its range is a bounded set. For real-valued functions, this means that $|f|$ has a finite upper bound.

If $f$ is continuous, bounded and nonnegative on $[0,\infty )$, extend it to a bounded continuous function on the real line by the displayed formula. The bounded semilinear Dirichlet existence theorem gives $-\Delta u=F(u)$ with $u\in H_0^1$. Test with the negative part $u_{-}=\max \{-u,0\}$ to obtain $-\Vert \nabla u_{-}{\Vert }_2^2=\int F(u)u_{-}\ge 0$. The Poincaré inequality gives $u_{-}=0$, so $u\ge 0$ and $F(u)=f(u)$. Thus singularities or uncontrolled growth of the original formula at negative arguments need not prevent a nonnegative weak solution.

Let $c$ be a bounded real measurable coefficient on an open set. Nonnegativity of $c$ clearly makes its gradient form nonnegative. Conversely, if $c<0$ on a set of positive measure, choose an interior Lebesgue point $x_0$ where $c(x_0)<0$. For a nonconstant compactly supported smooth function $\psi$, set $v_{\epsilon }(x)=\epsilon \psi ((x-x_0)/\epsilon )$. Change variables and use the Lebesgue differentiation theorem to obtain ${\epsilon }^{-n}\int c|\nabla v_{\epsilon }{|}^2\to c(x_0)\int |\nabla \psi {|}^2<0$, a contradiction. Thus the linear operator represented by $a(u,v)=\int c\nabla u\cdot \nabla v$ is monotone exactly when $c\ge 0$ almost everywhere.

An edge record stores endpoint vertices of a polyhedron, its two incident faces, and predecessor and successor edges for each face. These four boundary-neighbour references are the wings. Face and vertex of a polyhedron records also carry entry references for traversal. Local edits must preserve all reciprocal incidence references and orientations.

A mesh representation with two oppositely directed records per ordinary edge. Each record stores its origin vertex of a polyhedron, incident face, next face-boundary record and opposite record; previous records are often cached. The opposite record's origin gives the destination. This usage differs from a dangling half-edge of a graph.

A boundary condition at spatial infinity specifies limiting behaviour as the spatial coordinate leaves every bounded set, such as ${\lim }_{x\to +\infty }u(x,t)=g(t)$ on a half-line. A pointwise limit for each time is different from uniform control over a time interval. Maximum-principle and uniqueness proofs on unbounded domains must use a suitable uniform boundedness, growth restriction or barrier hypothesis to justify passage from finite domains to infinity.

An input combination at which a Boolean function's specification imposes no required output value. Karnaugh map minimization may assign either value independently to simplify the implemented Boolean circuit. The resulting circuit still assigns a definite output to every input. An unused finite-state machine encoding is therefore an optimization opportunity, but its eventual transitions must be checked if recovery from that encoding matters.

In Boolean algebra, the product $yz$ is the consensus of $xy$ and $\bar{x}z$. If $yz=1$, either $x=1$ and $xy=1$, or $x=0$ and $\bar{x}z=1$, so adding the consensus does not change the Boolean function. It can change a circuit's transient behavior: while $x$ switches, the two original product terms may briefly both be zero because of unequal propagation delays, but $yz$ remains one. Keeping the logically redundant consensus product can therefore remove a static-one logic hazard.

A directed acyclic graph representing a Boolean function. A decision node tests a Boolean variable and has zero and one successors; evaluation follows the corresponding arrows until a terminal node returns a Boolean value. Sharing subgraphs can make a binary decision diagram much smaller than a binary decision tree.

The Boolean function obtained by assigning a fixed Boolean value $b$ to a chosen Boolean variable $x$ in $f$. The original Boolean function satisfies $f=(\neg x\wedge f{|}_{x=0})\vee (x\wedge f{|}_{x=1})$.

A set of Boolean functions is functionally complete if function composition using those operations can express every positive-arity Boolean function. The NAND gate alone suffices: tie its inputs to obtain negation, negate its output to obtain logical conjunction, and apply De Morgan's laws to obtain logical disjunction; then use disjunctive normal form.

For three events in one classical probability space, the inclusion $A\setminus C\subset (A\setminus B)\cup (B\setminus C)$ and the union bound prove the displayed inequality. It is therefore an unconditional theorem of classical probability. In a polarization Bell test, a model assigning simultaneous setting-independent pass/fail outcomes to three possible analyzer directions must obey it. Equal unbiased marginals and quantum pair correlations instead give $P(A\setminus B)=\frac{1}{2}{\sin }^2({\theta }_A-{\theta }_B)$. Directions $0,\gamma ,2\gamma$ violate the resulting constraint for $0<\gamma <\pi /4$, because $2{\sin }^2\gamma <{\sin }^{2}2\gamma$. The conclusion excludes that common classical joint model. Conditional probabilities from sequential measurements cannot be inserted without their marginal factors or treated as if all three contexts shared an already established joint distribution.

A blood count quantifies one or more cell populations in a blood sample. Counts of red blood cells, white blood cells and platelets describe different populations, usually reported per unit volume rather than as a total number throughout the body.

A complete blood count combines several measurements, including cell counts and indices of cell size or composition. A differential count further separates types of white blood cells. These distinctions matter because two reported numbers may describe different components of the same specimen.^[ref]

For steady incompressible flow and irrotational flow of constant mass density, with no body force, this formula gives the hydrodynamic torque about the origin per unit span on an impermeable body. Orient its boundary counterclockwise, and let positive torque be counterclockwise. The proof uses $M=\mathrm{Re}{\oint }_{C}pzd\bar{z}$, the Bernoulli equation $p=P_{\ast }-\rho |w^{\prime }{|}^2/2$, and the tangency identity $|w^{\prime }{|}^{2}d\bar{z}=(w^{\prime }{)}^{2}dz$. The real part of the constant-pressure term vanishes because $\mathrm{Re}(zd\bar{z})=d|z{|}^2/2$. The full complex integral of $zd\bar{z}$ need not vanish.

Place a held point vortex of circulation $\Gamma$ at real position $b>a$ outside a circular cylinder $|z|=a$, and prescribe circulation $-\Gamma$ about the cylinder. An opposite image at $c=a^2/b$ gives complex velocity $q(z)=-i\Gamma (1/(z-b)-1/(z-c))/(2\pi )$. On the positively oriented cylinder contour, the only pole of $q^2$ inside is at $c$, with residue $-{\Gamma }^2/(2{\pi }^2(b-c))$. The residue theorem and Blasius force theorem give $F_x-i{F}_y=\rho {\Gamma }^2/(2\pi (b-c))$. Thus $F_y=0$ and $F_x=\rho {\Gamma }^{2}b/(2\pi (b^2-a^2))>0$: the force on the cylinder points toward the vortex. The specified cylinder circulation is part of the hypothesis; a zero-circulation cylinder has an additional central image term.

For a two-dimensional steady ideal flow outside a body, let $q=w^{\prime }$ be the complex velocity. Suppose $q$ is holomorphic in the exterior and $q^2$ has a Laurent series near infinity, with coefficient $a_{-1}$ of $z^{-1}$. Orient the body contour counterclockwise and assume the usual impermeability and Bernoulli hypotheses of the Blasius force theorem. Deforming the contour to a large circle gives $\oint q^{2}dz=2\pi i{a}_{-1}$. Substitution in Blasius' formula proves $F_x-i{F}_y=-\pi \rho a_{-1}$.

In particular, $q(z)=q_{\infty }+O(z^{-2})$ makes the force zero: its square has no reciprocal term. This criterion handles branch-cut obstacles by applying the contour in their analytic exterior, rather than separately assigning forces to endpoint singularities.

The Milne-Thomson circle theorem places an image dipole inside a cylinder at the inverse point of an external dipole. In the residue of the squared complex velocity, only the cross term between the analytic external velocity and the image double pole contributes. The product of their conjugate dipole strengths is independent of orientation, so the cylinder force is radial toward the external dipole.