# 8.8.3.18 IfcFacetedBrepWithVoids

## 8.8.3.18.1 Semantic definition

The IfcFacetedBrepWithVoids is a specialization of a faceted B-rep which contains one or more voids in its interior. The voids are represented as closed shells which are defined so that the shell normal point into the void.

Informal Propositions:

1. Each void shell shall be disjoint from the outer shell and from every other void shell
2. Each void shell shall be enclosed within the outer shell but not within any other void shell. In particular the outer shell is not in the set of void shells
3. Each shell in the IfcManifoldSolidBrep shall be referenced only once.
4. All the bounding loops of all the faces of all the shells in the IfcFacetedBrep shall be of type IfcPolyLoop.

## 8.8.3.18.4 Formal representation

ENTITY IfcFacetedBrepWithVoids
SUBTYPE OF (IfcFacetedBrep);
Voids : SET [1:?] OF IfcClosedShell;
END_ENTITY;