A historical clinical term for a pale, painful, swollen limb, especially after childbirth, associated with extensive deep vein thrombosis. It is distinct from blue, severely congested phlegmasia cerulea dolens.

Severe venous outflow obstruction producing a painful, swollen, blue limb and potentially threatening perfusion.

A dead-load traction is prescribed force per unit reference surface area, with its vector held fixed as the body deforms. Its boundary condition is $T_{R}N=t_R$. A follower load instead depends on the current deformation, for example through a current normal or current area.

For $\Phi =\mu [{\sum }_i{v}_i^2/2+{\sum }_i{v}_i^{-1}]$ and positive stretch product one, the energy simplifies to $\mu S^2/2$, where $S={\sum }_i{v}_i$. Equal nominal tensile loading adds potential $-\tau S$. The homogeneous diagonal equilibrium equations reduce to $(\mu S-\tau )(v_i-v_j)=0$. Thus the unit triple exists for every load, while the other equilibria form the displayed sum-product family. Since $S\ge 3$, only the unit triple exists for $\tau \le 3\mu$. Above this load, a continuous family is obtained by choosing $v_1=t$ near one and taking $v_2,v_3$ as the two positive roots with sum $\tau /\mu -t$ and product $1/t$.

An edge set respects a cut of a graph when none of its edges crosses that cut. In the minimum spanning tree cut property, this guarantees that exchanging a crossing tree edge cannot remove an edge already committed to the partial solution.

An edge of minimum edge weight among those crossing a specified cut of a graph. It exists when the crossing set is nonempty. Several tied edges can all be light; lightness does not imply uniqueness or membership in every minimum spanning tree.

Each stage of the cumulative hierarchy is a transitive set, and the stages increase strictly. If $A$ is transitive, then $A\subseteq \mathcal{P}(A)$ and $\mathcal{P}(A)$ is transitive: $x\in y\subseteq A$ gives $x\in A$ and then $x\subseteq A$. Unions of increasing transitive sets are transitive. These observations prove the assertions by transfinite induction, with strictness witnessed by $V_{\alpha }\in V_{\alpha +1}$ and $V_{\alpha }\notin V_{\alpha }$ from the Axiom of foundation.

For a nonzero limit ordinal $\delta$, the structure $(V_{\delta },\in )$ satisfies the Axiom of power set. For $x\in V_{\beta }$ with $\beta <\delta$, transitivity gives $x\subseteq V_{\beta }$, so $\mathcal{P}(x)\subseteq V_{\beta +1}$ and $\mathcal{P}(x)\in V_{\beta +2}\subseteq V_{\delta }$. Every external subset is therefore present and the external power set is also the internal one.

If every member of a set $a$ belongs to some cumulative-hierarchy stage, replacement collects the least such stages. Their ordinal supremum gives a common stage $V_{\beta }$ containing every element of $a$, so $a\in V_{\beta +1}$. The argument also works without foundation and bounds a set of well-founded elements inside the hierarchy.

A finite sequence of visible CSP events performed by a CSP process, omitting CSP internal actions.

After CSP trace $s$, the CSP process can reach a CSP stable state offering no event in the refusal set $X$. Refusal is existential over reachable stable alternatives.^[ref]

The possibility, after a finite visible CSP trace, of an infinite sequence of consecutive CSP internal actions. The CSP failures-divergences model records this possibility explicitly.^[ref]

Represent a CSP process by its set of CSP traces.

Represent a CSP process by its CSP traces and CSP stable failures.

Record CSP stable failures and CSP divergences, treating behaviour after a CSP divergence as unrestricted. This can detect both stable refusal of progress and endless internal activity.

Implementation $I$ has only behaviours permitted by specification $S$ in CSP semantic model $M$. In particular, CSP traces model refinement means $\mathrm{traces}(I)\subseteq \mathrm{traces}(S)$; the other models additionally constrain CSP stable failures or CSP divergences.

An instantaneous visible interaction. A channel event such as $left.x$ combines a channel name with a communicated value. Participants synchronize on one event rather than separately sending and receiving it.

An unobservable transition that the environment cannot block. CSP hiding turns selected visible CSP events into CSP internal actions.