  The birational classification of varieties inevitably leads to the study of
singularities. The types of singularities that occur in this context have been
studied by Mori, Koll\'ar, Reid, and others, beginning in the 1980s with the
introduction of the minimal model program. Normal singularities that are
terminal, canonical, log terminal, and log canonical, and their non-normal
counterparts, are typically studied using a resolution of singularities (or a
semiresolution) and finding numerical conditions that relate the canonical
class of the variety to that of its resolution. In order to do this, it has
been assumed that a variety $X$ has a $\mathbb{Q}$-Cartier canonical class:
some multiple $mK_X$ of the canonical class is Cartier. In particular, this
divisor can be pulled back under a resolution $f: Y \rightarrow X$ by pulling
back its local sections. Then one has a relation $K_Y \sim \frac{1}{m}f^*(mK_X)
+ \sum a_iE_i$. It is then the coefficients of the exceptional divisors $E_i$
that determine the type of singularities that belong to $X$. It might be asked
whether this $\mathbb{Q}$-Cartier hypothesis is necessary in studying
singularities in birational classification. In \cite{dFH09}, de Fernex and
Hacon construct a boundary divisor $\Delta$ for arbitrary normal varieties, the
resulting divisor $K_X + \Delta$ being $\mathbb{Q}$-Cartier even though $K_X$
itself is not. This they call (for reasons that will be made clear) an
$m$-compatible boundary for $X$, and they proceed to show that the
singularities defined in terms of the pair $(X, \Delta)$ are none other than
the singularities just described, when $K_X$ happens to be
$\mathbb{Q}$-Cartier. In the present paper, we extend the results of
\cite{dFH09} still further, to include demi-normal varieties without a
$\mathbb{Q}$-Cartier canonical class.
