 If formula_7 is dense in formula_6, we say formula_1 is a Dirichlet algebra.It can be shown that if an operator formula_10 has formula_2 as a spectral set, and formula_1 is a Dirichlet algebra, then formula_10 has a normal boundary dilation.This generalises Sz.-Nagy's dilation theorem, which can be seen as a consequence of this by letting