8.20.3.2 IfcClosedShell
8.20.3.2.1 Semantic definition
The shell is represented by a collection of faces. The domain of the shell, if present, contains all those faces, together with their bounds. Associated with each face in the shell is a logical value which indicates whether the face normal agrees with (TRUE) or is opposed to (FALSE) the shell normal. The logical value can be applied directly as a BOOLEAN attribute of an oriented face, or be defaulted to TRUE if the shell boundary attribute member is a face without the orientation attribute.
The combinatorial restrictions on closed shells and geometrical restrictions on their domains are designed to ensure that any domain associated with a closed shell is a closed, orientable manifold. The domain of a closed shell, if present, is a connected, closed, oriented 2manifold. It is always topologically equivalent to an Hfold torus for some H ≥ 0. The number H is referred to as the surface genus of the shell. If a shell of genus H has a domain within coordinate space R^3^, then the finite region of space inside it is topologically equivalent to a solid ball with H tunnels drilled through it.
The Euler equation applies with B=0, because in this case there are no holes. As in the case of open shells, the surface genus H may not be known a priori, but shall be an integer ≥ 0. Thus a necessary, but not sufficient, condition for a wellformed closed shell is the following:
Informal Propositions:
 Every edge shall be referenced exactly twice by the loops of the face.
 Each oriented edge shall be unique.
 No edge shall be referenced by more than two faces.
 Distinct faces of the shell do not intersect, but may share edges or vertices.
 Distinct edges do not intersect but may share vertices.
 Each face reference shall be unique.
 The loops of the shell shall not be a mixture of poly loop and other loop types. Note: this is given, since only poly loop is defined as face bound definition.
 The closed shell shall be an oriented arcwise connected 2manifold.
 The Euler equation shall be satisfied. Note: Please refer to ISO 1030342 for the equation.
8.20.3.2.2 Entity inheritance
8.20.3.2.3 Attributes
#  Attribute  Type  Description 

IfcRepresentationItem (2)  
LayerAssignment  SET [0:1] OF IfcPresentationLayerAssignment FOR AssignedItems 
Assignment of the representation item to a single or multiple layer(s). The LayerAssignments can override a LayerAssignments of the IfcRepresentation it is used within the list of Items. 

StyledByItem  SET [0:1] OF IfcStyledItem FOR Item 
Reference to the IfcStyledItem that provides presentation information to the representation, e.g. a curve style, including colour and thickness to a geometric curve. 

Click to show 2 hidden inherited attributes Click to hide 2 inherited attributes  
IfcConnectedFaceSet (1)  
1  CfsFaces  SET [1:?] OF IfcFace 
The set of faces arcwise connected along common edges or vertices. 
8.20.3.2.4 Examples
8.20.3.2.5 Formal representation
ENTITY IfcClosedShell
SUBTYPE OF (IfcConnectedFaceSet);
END_ENTITY;