注：定义根据ISO/CD 10303-42:1992
闭壳是维数为2的壳，通常用作R3中某个区域的边界。封闭壳没有边界，并且具有非零的有限范围。如果壳有一个坐标空间为R3的区域，它将该空间分成两个相连的区域，一个是有限的，另一个是无限的。在这种情况下，壳的拓扑法线被定义为从有限区域到无限区域的定向。
壳由一组面表示。壳的域（如果存在）包含所有这些面及其边界。与壳中的每个面相关联的是一个逻辑值，该值指示面法线与壳法线一致（TRUE）还是相反（FALSE）。逻辑值可以直接作为定向面的布尔属性应用，如果壳边界属性成员是没有方向属性的面，则默认为TRUE。
设计了闭壳的组合约束及其域的几何约束，以保证与闭壳相关的任何域都是封闭的、可定向的流形。封闭壳的区域，如果存在，是一个连通的，封闭的，定向的2-流形。对于某些H≥0，它总是拓扑等价于H折叠环面。数H被称为壳的表面属。如果属H的壳层在坐标空间R3内有一个域，那么它内部的有限空间区域在拓扑上等价于一个有H隧道的实心球。
欧拉方程适用于B=0，因为在这种情况下没有孔。与开壳的情况一样，表面亏格H可能不是先验已知的，而是一个≥0的整数。因此，形成良好闭合壳体的必要条件（但不是充分条件）如下：
注：实体改编自ISO 10303-42中定义的封闭外壳。
IFC1.0中的历史新实体
非正式命题：
①每个边应通过面环精确地参考两次。
②每个定向边缘应是唯一的。
③任何边的参考面不得超过两个。
④壳的不同面不相交，但可以共享边或顶点。
⑤不同的边不相交，但可以共享顶点。
⑥每个面参考应是唯一的。
⑦外壳的回路不得为多回路和其他回路类型的混合物。注意：这是给定的，因为只有多边形循环被定义为面边界定义。
⑧封闭外壳应为定向弧形连接的2-歧管。
⑨应满足欧拉方程。注：公式请参考ISO 10303-42。
| # | Attribute | Type | Cardinality | Description | C |
|---|---|---|---|---|---|
| IfcRepresentationItem | |||||
| LayerAssignment | IfcPresentationLayerAssignment @AssignedItems |
S[0:1] | 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. | X | |
| StyledByItem | IfcStyledItem @Item |
S[0:1] | Reference to the IfcStyledItem that provides presentation information to the representation, e.g. a curve style, including colour and thickness to a geometric curve. | X | |
| IfcTopologicalRepresentationItem | |||||
| IfcConnectedFaceSet | |||||
| 1 | CfsFaces | IfcFace | S[1:?] | The set of faces arcwise connected along common edges or vertices. | X |
| IfcClosedShell | |||||
EXPRESS Specification
ENTITY IfcClosedShell
SUBTYPE OF (IfcConnectedFaceSet);
END_ENTITY;