## 8.11.2.63 IfcNonNegativeLengthMeasure

### 8.11.2.63.1 Semantic definitions at the entity

A non-negative length measure is a length measure that is greater than or equal to zero.

Type: *IfcLengthMeasure*

HISTORY New type in IFC4.

#### Formal Propositions

##### NotNegative

A non-negative measure shall be greater than or equal to zero.

### 8.11.2.63.1 Formal representations

TYPE IfcNonNegativeLengthMeasure = IfcLengthMeasure;
WHERE
NotNegative : SELF >= 0.;
END_TYPE;