A Weil domain (
Weil 1935) is an
analytic polyhedron with a domain U in Cn defined by inequalities fj(z) < 1
for functions fj that are holomorphic on some neighborhood of the closure of U, such that the faces of the Weil domain (where one of the functions is 1 and the others are less than 1) all have dimension 2n − 1, and the intersections of k faces have
codimension at least k.